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