Mercurial > urweb

comparison src/monoize.sml @ 823:669ac5e9a69e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Demo compiles with pattern-matching-fu
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 May 2009 10:35:25 -0400
parents 395a5d450cc0
children 74e9e7642f08
comparison
equal deleted inserted replaced
822:d4e811beb8eb 823:669ac5e9a69e
145 | L.CApp ((L.CFfi ("Basis", "signal"), _), t) => 145 | L.CApp ((L.CFfi ("Basis", "signal"), _), t) =>
146 (L'.TSignal (mt env dtmap t), loc) 146 (L'.TSignal (mt env dtmap t), loc)
147 | L.CApp ((L.CFfi ("Basis", "http_cookie"), _), _) => 147 | L.CApp ((L.CFfi ("Basis", "http_cookie"), _), _) =>
148 (L'.TFfi ("Basis", "string"), loc) 148 (L'.TFfi ("Basis", "string"), loc)
149 | L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_table"), _), _), _), _) => 149 | L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_table"), _), _), _), _) =>
150 (L'.TFfi ("Basis", "string"), loc)
151 | L.CApp ((L.CFfi ("Basis", "sql_view"), _), _) =>
150 (L'.TFfi ("Basis", "string"), loc) 152 (L'.TFfi ("Basis", "string"), loc)
151 | L.CFfi ("Basis", "sql_sequence") => 153 | L.CFfi ("Basis", "sql_sequence") =>
152 (L'.TFfi ("Basis", "string"), loc) 154 (L'.TFfi ("Basis", "string"), loc)
153 | L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_query"), _), _), _), _) => 155 | L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_query"), _), _), _), _) =>
154 (L'.TFfi ("Basis", "string"), loc) 156 (L'.TFfi ("Basis", "string"), loc)