aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/marshalcheck.sml
Commit message (Collapse)AuthorAge
* Block scary types for [de]serialization (closes #98)Gravatar Adam Chlipala2018-10-19
|
* A few error message improvementsGravatar Adam Chlipala2011-08-02
|
* queryString and effectfulUrlGravatar Adam Chlipala2010-12-26
|
* postBody typeGravatar Adam Chlipala2010-12-18
|
* 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