Changes between Version 6 and Version 7 of Holes


Ignore:
Timestamp:
Feb 10, 2012 12:49:45 PM (2 years ago)
Author:
spl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Holes

    v6 v7  
    3030These goals can make it a lot easier to write code. They allow typechecking to continue although certain parts of code are missing and they work as a TODO list. 
    3131 
    32 = How this can be used in GHC now = 
     32= How we can almost do this in GHC now = 
    3333GHC does not support holes in the way Agda does. It is possible to insert {{{undefined}}} in an expression to make it typecheck (which Agda doesn't have), but this is not very helpful when writing software. Inserting {{{undefined}}} only gives as information that the rest of the program typechecks, but will not help you find what you needed to use in its place. We propose to add an extension to GHC (and notably GHCi) to allow using holes, this page is meant to discuss the exact features and workflow of such an extension. 
    3434