diff src/marshalcheck.sml @ 758:8323c1beef2e

Subforms type-checks; lists urlified and unurlified
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 11:48:56 -0400
parents 4bb7e1c0550a
children a28982de5645
line wrap: on
line diff
--- a/src/marshalcheck.sml	Thu Apr 30 11:07:29 2009 -0400
+++ b/src/marshalcheck.sml	Thu Apr 30 11:48:56 2009 -0400
@@ -60,6 +60,7 @@
                       ("Basis", "file"),
                       ("Basis", "unit"),
                       ("Basis", "option"),
+                      ("Basis", "list"),
                       ("Basis", "bool")]
 
 val clientToServer = PS.addList (PS.empty, clientToServer)