Mercurial > urweb
log src/specialize.sml
age | author | description |
---|---|---|
2010-06-05 | Adam Chlipala | Another run of Specialize, using ReduceLocal on datatype parameters |
2009-06-18 | Adam Chlipala | Fix a bug with 'Some p' patterns, where 'p' needs specialization |
2009-06-13 | Adam Chlipala | <dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls |
2009-06-09 | Adam Chlipala | Some standard library reorgs and additions; handle mutual datatypes better in Specialize |
2009-05-16 | Adam Chlipala | Mutual datatypes through Effectize |
2009-05-12 | Adam Chlipala | Improvements while working on Graftid |
2008-09-11 | Adam Chlipala | Unpoly non-recursive function |
2008-08-09 | Adam Chlipala | A multi-parameter datatype all the way through |
2008-08-08 | Adam Chlipala | Specialization of single-parameter datatypes |