summaryrefslogtreecommitdiff
path: root/src/specialize.sml
Commit message (Expand)AuthorAge
* Another run of Specialize, using ReduceLocal on datatype parametersGravatar Adam Chlipala2010-06-05
* Fix a bug with 'Some p' patterns, where 'p' needs specializationGravatar Adam Chlipala2009-06-18
* <dyn> inside <table>; fix Specialize bug with datatype decls generating other...Gravatar Adam Chlipala2009-06-13
* Some standard library reorgs and additions; handle mutual datatypes better in...Gravatar Adam Chlipala2009-06-09
* Mutual datatypes through EffectizeGravatar Adam Chlipala2009-05-16
* Improvements while working on GraftidGravatar Adam Chlipala2009-05-12
* Unpoly non-recursive functionGravatar Adam Chlipala2008-09-11
* A multi-parameter datatype all the way throughGravatar Adam Chlipala2008-08-09
* Specialization of single-parameter datatypesGravatar Adam Chlipala2008-08-08