diff 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
line wrap: on
line diff
--- a/src/marshalcheck.sml	Sat Apr 04 11:46:24 2009 -0400
+++ b/src/marshalcheck.sml	Sat Apr 04 12:54:39 2009 -0400
@@ -58,7 +58,8 @@
                       ("Basis", "string"),
                       ("Basis", "time"),
                       ("Basis", "unit"),
-                      ("Basis", "option")]
+                      ("Basis", "option"),
+                      ("Basis", "bool")]
 
 val clientToServer = PS.addList (PS.empty, clientToServer)