Mercurial > urweb
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 = |