Changes between Initial Version and Version 1 of Ticket #10833, comment 10


Ignore:
Timestamp:
Sep 4, 2017 3:47:24 PM (2 years ago)
Author:
nfrisby
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10833, comment 10

    initial v1  
    1 This scenario seems like an excellent use-case for a typechecker plugin: so that power users could opt-in to the soundness conjecture. Do we have an estimate of if that's possible give current TC plugin API and how complicated it would be to implement? Thanks.
     1This scenario seems like an excellent use-case for a typechecker plugin: so that power users could opt-in to the soundness conjecture. Do we have an estimate of if that's possible given the current TC plugin API and how complicated it would be to implement? Thanks.