summaryrefslogtreecommitdiff
path: root/src/marshalcheck.sml
Commit message (Expand)AuthorAge
* Fix overzealous Marshalcheck; garbage-collect string-embedded closures when n...Gravatar Adam Chlipala2009-04-04
* MarshalcheckGravatar Adam Chlipala2009-03-28