Mercurial > urweb

comparison src/monoize.sml @ 1176:51e596feec37

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Mar 2010 16:00:48 -0500
parents 983d9b38abc7
children ad9829c3c12c
comparison
equal deleted inserted replaced
1175:79f487f51d9f 1176:51e596feec37
152 end 152 end
153 | L.CApp ((L.CFfi ("Basis", "show"), _), t) => 153 | L.CApp ((L.CFfi ("Basis", "show"), _), t) =>
154 (L'.TFun (mt env dtmap t, (L'.TFfi ("Basis", "string"), loc)), loc) 154 (L'.TFun (mt env dtmap t, (L'.TFfi ("Basis", "string"), loc)), loc)
155 | L.CApp ((L.CFfi ("Basis", "read"), _), t) => 155 | L.CApp ((L.CFfi ("Basis", "read"), _), t) =>
156 readType (mt env dtmap t, loc) 156 readType (mt env dtmap t, loc)
157
158 | L.CFfi ("Basis", "unit") => (L'.TRecord [], loc)
159 | L.CFfi ("Basis", "page") => (L'.TFfi ("Basis", "string"), loc)
160 | L.CFfi ("Basis", "xbody") => (L'.TFfi ("Basis", "string"), loc)
161 | L.CFfi ("Basis", "xtr") => (L'.TFfi ("Basis", "string"), loc)
162 | L.CFfi ("Basis", "xform") => (L'.TFfi ("Basis", "string"), loc)
157 163
158 | L.CFfi ("Basis", "url") => (L'.TFfi ("Basis", "string"), loc) 164 | L.CFfi ("Basis", "url") => (L'.TFfi ("Basis", "string"), loc)
159 | L.CFfi ("Basis", "mimeType") => (L'.TFfi ("Basis", "string"), loc) 165 | L.CFfi ("Basis", "mimeType") => (L'.TFfi ("Basis", "string"), loc)
160 | L.CApp ((L.CApp ((L.CApp ((L.CFfi ("Basis", "xml"), _), _), _), _), _), _) => 166 | L.CApp ((L.CApp ((L.CApp ((L.CFfi ("Basis", "xml"), _), _), _), _), _), _) =>
161 (L'.TFfi ("Basis", "string"), loc) 167 (L'.TFfi ("Basis", "string"), loc)