Mercurial > urweb

comparison src/monoize.sml @ 439:322c8620bbdf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Marshaling time to SQL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 15:11:37 -0400
parents 1a4c1b5f4d8f
children c5335613f31e
comparison
equal deleted inserted replaced
438:1c27f03d9bd2 439:322c8620bbdf
1218 fm) 1218 fm)
1219 | L.EFfi ("Basis", "sql_string") => 1219 | L.EFfi ("Basis", "sql_string") =>
1220 ((L'.EAbs ("x", (L'.TFfi ("Basis", "string"), loc), (L'.TFfi ("Basis", "string"), loc), 1220 ((L'.EAbs ("x", (L'.TFfi ("Basis", "string"), loc), (L'.TFfi ("Basis", "string"), loc),
1221 (L'.EFfiApp ("Basis", "sqlifyString", [(L'.ERel 0, loc)]), loc)), loc), 1221 (L'.EFfiApp ("Basis", "sqlifyString", [(L'.ERel 0, loc)]), loc)), loc),
1222 fm) 1222 fm)
1223 | L.EFfi ("Basis", "sql_time") =>
1224 ((L'.EAbs ("x", (L'.TFfi ("Basis", "time"), loc), (L'.TFfi ("Basis", "string"), loc),
1225 (L'.EFfiApp ("Basis", "sqlifyTime", [(L'.ERel 0, loc)]), loc)), loc),
1226 fm)
1223 1227
1224 | L.ECApp ((L.EFfi ("Basis", "sql_subset"), _), _) => 1228 | L.ECApp ((L.EFfi ("Basis", "sql_subset"), _), _) =>
1225 ((L'.ERecord [], loc), fm) 1229 ((L'.ERecord [], loc), fm)
1226 | L.ECApp ((L.EFfi ("Basis", "sql_subset_all"), _), _) => 1230 | L.ECApp ((L.EFfi ("Basis", "sql_subset_all"), _), _) =>
1227 ((L'.ERecord [], loc), fm) 1231 ((L'.ERecord [], loc), fm)