Changes between Version 77 and Version 78 of WikiStart

Show
Ignore:
Timestamp:
08/30/10 04:44:29 (3 years ago)
Author:
benl (IP: 129.94.242.38)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v77 v78  
    1111 * I'm cleaning up the handling of data type declarations. The Source, Desugared, and Core languages all used their own representations for data type declarations, and I'm merging the ones for Desugared and Core.  
    1212 * This will let me implement proper handling of material/immaterial variables in types, which is needed when resolving Shape constraints. 
    13  * This should fix the T102-CopyIntFun test. 
     13 * This should fix the @T102-CopyIntFun test@. 
    1414 
    1515==== Erik de Castro Lopo (m3ga) -- updated 18th Aug 2010  ====