Changes between Version 76 and Version 77 of WikiStart

Show
Ignore:
Timestamp:
08/30/10 04:43:51 (4 years ago)
Author:
benl (IP: 129.94.242.38)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v76 v77  
    88This 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. 
    99 
    10 ==== Ben Lippmeier (benl23) -- updated 26th August 2010  ==== 
    11  * The new core type checker is in place, and I've finally managed to eliminate the old TFetters constructor from Type expressions. 
    12  * I'm currently cleaning up and documenting the type inferencer, and fixing bugs in the process. 
    13  * The most critical bugs are the Order2 and Order3-4 tests, which check effect inference applied to some pathological higher-order functions. These worked before but were broken during the last refactoring effort. I've identified the problem and fixed the original bugs, and am now following the changes in the rest of the code. 
     10==== Ben Lippmeier (benl23) -- updated 30th August 2010  ==== 
     11 * 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.  
     12 * 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. 
    1414 
    1515==== Erik de Castro Lopo (m3ga) -- updated 18th Aug 2010  ====