summaryrefslogtreecommitdiff
path: root/src/specialize.sml
Commit message (Collapse)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 ↵Gravatar Adam Chlipala2009-06-13
| | | | other mutually-recursive datatype decls
* Some standard library reorgs and additions; handle mutual datatypes better ↵Gravatar Adam Chlipala2009-06-09
| | | | in Specialize
* 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