Changes between Version 52 and Version 53 of WikiStart

Show
Ignore:
Timestamp:
06/11/10 02:38:59 (5 years ago)
Author:
benl (IP: 129.94.242.38)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v52 v53  
    1010 
    1111==== Ben (benl23) -- updated 11th June 2010  ==== 
    12  * I'm cleaning up the core language and rewriting the type checker. We currently have Core.Reconstruct that reconstructs some type annotations as well as checks the type information, but we want to split this into two separate phases. We only have to do the real reconstruction during conversion between the desugared and core language, but we want to run the checker after every stage (during debugging). 
     12 * I'm cleaning up the core language and rewriting the core type checker. We currently have Core.Reconstruct that reconstructs some type annotations as well as checks the type information, but we want to split this into two separate phases. We only have to do the real reconstruction during conversion between the desugared and core language, but we want to run the checker after every stage (during debugging). 
    1313 * After doing this we should be able to use the TConstrain form of type expressions in the core language, ditch the TFetters version, then finish work on the new interface file format. 
    1414