Changes between Version 85 and Version 86 of WikiStart

Show
Ignore:
Timestamp:
09/20/10 04:34:02 (4 years ago)
Author:
benl (IP: 129.94.242.47)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v85 v86  
    1212This section records what the DDC developers are actively working on. If you're hacking on something DDC related then by all means add yourself here. Records are dropped off if they haven't been updated for more than a month. 
    1313 
    14 ==== Ben Lippmeier (benl23) -- updated 30th August 2010  ==== 
    15  * 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.  
    16  * This will let me implement proper handling of material/immaterial variables in types, which is needed when resolving Shape constraints. 
    17  * This should fix the `T102-CopyIntFun` test. 
     14==== Ben Lippmeier (benl23) -- updated 20th September 2010  ==== 
     15 * I've fixed inference of Shape constraints to respect the materiality of variables. This means we can now write a sensible copy function for a data types containing functions. 
     16 * I've cleaned up the array and numeric type modules in the base libraries. 
     17 * Next step is to check the types of type class instance functions against their definitions, which should eliminate the #1 reason for confusing compiler panics. 
    1818 
    1919==== Erik de Castro Lopo (m3ga) -- updated 18th Aug 2010  ====