summaryrefslogtreecommitdiff
path: root/src/marshalcheck.sml
Commit message (Collapse)AuthorAge
* Basis.serialize; separate file for mhash; run transactional finishers in ↵Gravatar Adam Chlipala2009-12-31
| | | | reverse order; set needs_sig properly
* Mutual datatypes through EffectizeGravatar Adam Chlipala2009-05-16
|
* Successfully influenced effectful-ness status of FFI funcGravatar Adam Chlipala2009-05-02
|
* Subforms type-checks; lists urlified and unurlifiedGravatar Adam Chlipala2009-04-30
|
* Only allow single-file upload per controlGravatar Adam Chlipala2009-04-25
|
* Initial support for blobs and uploadGravatar Adam Chlipala2009-04-25
|
* Fix overzealous Marshalcheck; garbage-collect string-embedded closures when ↵Gravatar Adam Chlipala2009-04-04
| | | | no dyns are active
* MarshalcheckGravatar Adam Chlipala2009-03-28