Changes between Version 47 and Version 48 of WikiStart

Show
Ignore:
Timestamp:
05/10/10 09:35:41 (3 years ago)
Author:
benl (IP: 203.206.176.236)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v47 v48  
    1111==== Ben (benl23) -- updated 10th May 2010  ==== 
    1212 * I'm working on reducing the number of constructors in Type.Exp.Exp. We want to use general type application instead of a different constructor for function, data, effect and closure types. Doing this will make code that works on types simpler, and hopefully kill some outstanding bugs on the way. 
     13 * At the time of writing I'm in the process of killing the TEffect constructor. Doing this requires refactoring how the effect simplifier in the inferencer works. ie in Type.Crush.Effects. 
    1314 
    1415==== Erik de Castro Lopo (m3ga) -- updated 29th Apr 2010  ====