Mercurial > urweb
comparison src/marshalcheck.sml @ 692:09df0c85f306
Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 04 Apr 2009 12:54:39 -0400 |
parents | 54ec237a3028 |
children | d049d31a1966 |
comparison
equal
deleted
inserted
replaced
691:cc58941da3e2 | 692:09df0c85f306 |
---|---|
56 val clientToServer = [("Basis", "int"), | 56 val clientToServer = [("Basis", "int"), |
57 ("Basis", "float"), | 57 ("Basis", "float"), |
58 ("Basis", "string"), | 58 ("Basis", "string"), |
59 ("Basis", "time"), | 59 ("Basis", "time"), |
60 ("Basis", "unit"), | 60 ("Basis", "unit"), |
61 ("Basis", "option")] | 61 ("Basis", "option"), |
62 ("Basis", "bool")] | |
62 | 63 |
63 val clientToServer = PS.addList (PS.empty, clientToServer) | 64 val clientToServer = PS.addList (PS.empty, clientToServer) |
64 | 65 |
65 fun check file = | 66 fun check file = |
66 let | 67 let |