comparison 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
comparison
equal deleted inserted replaced
757:fa2019a63ea4 758:8323c1beef2e
58 ("Basis", "string"), 58 ("Basis", "string"),
59 ("Basis", "time"), 59 ("Basis", "time"),
60 ("Basis", "file"), 60 ("Basis", "file"),
61 ("Basis", "unit"), 61 ("Basis", "unit"),
62 ("Basis", "option"), 62 ("Basis", "option"),
63 ("Basis", "list"),
63 ("Basis", "bool")] 64 ("Basis", "bool")]
64 65
65 val clientToServer = PS.addList (PS.empty, clientToServer) 66 val clientToServer = PS.addList (PS.empty, clientToServer)
66 67
67 fun check file = 68 fun check file =