Changes between Version 69 and Version 70 of WikiStart

Show
Ignore:
Timestamp:
08/05/10 09:40:05 (4 years ago)
Author:
benl (IP: 129.94.242.47)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v69 v70  
    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 (benl23) -- updated 11th June 2010  ==== 
    11  * 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). 
    12  * 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. 
     10==== Ben (benl23) -- updated 5th August 2010  ==== 
     11 * I've rewritten the core type checker, and am currently replacing calls to the old from Core.Reconstruct. This will require cleaning up the lambda lifter. 
     12 * Once that's done we should be able to check the core program from just after Core.Thread through to Core.ToSea. 
    1313 
    1414==== Erik de Castro Lopo (m3ga) -- updated 24th Jun 2010  ==== 
     
    3131 
    3232== Development == 
    33  * [http://discus.ouroborus.net:/~overlord/desire/latest/doc/haddock Nightly Haddock Code Documentation] (down until about 2nd of July, the discus built bot is standing in for another machine that is being repaired) 
     33 * [http://discus.ouroborus.net:/~overlord/desire/latest/doc/haddock Nightly Haddock Code Documentation] 
    3434 
    3535 * [wiki:Commentary Compiler Commentary]