summaryrefslogtreecommitdiff
path: root/src/mono_util.sig
Commit message (Expand)AuthorAge
* Fusing writes with recursive function callsGravatar Adam Chlipala2008-11-25
* 'Option' datatype encodingGravatar Adam Chlipala2008-08-09
* Datatype representation optimizationGravatar Adam Chlipala2008-08-03
* Storing datatype constructors in type references past monoizeGravatar Adam Chlipala2008-07-29
* Remove closure conversion in favor of zany fun with modules, which also repla...Gravatar Adam Chlipala2008-07-13
* Mono optimizations (start with string concat and space eating)Gravatar Adam Chlipala2008-07-03
* Closure conversionGravatar Adam Chlipala2008-06-10