summaryrefslogtreecommitdiff
path: root/src/mono_util.sig
Commit message (Collapse)AuthorAge
* Announce sidedness errors with source locationsGravatar Adam Chlipala2011-11-25
|
* 'more' demos working after optimizer fixGravatar Adam Chlipala2009-09-08
|
* Start of JsCompGravatar Adam Chlipala2008-12-20
|
* 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 ↵Gravatar Adam Chlipala2008-07-13
| | | | replaces 'page'
* Mono optimizations (start with string concat and space eating)Gravatar Adam Chlipala2008-07-03
|
* Closure conversionGravatar Adam Chlipala2008-06-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-20 10:35:08 +0000