Mercurial > urweb

comparison src/monoize.sml @ 1071:26197c957ad6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Better record summary error messages; more tweaking SQL usability
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 11:28:47 -0500
parents e933297c4e24
children 9001966ae1c8
comparison
equal deleted inserted replaced
1070:e933297c4e24 1071:26197c957ad6
2290 sc " (", 2290 sc " (",
2291 (L'.ERel 0, loc), 2291 (L'.ERel 0, loc),
2292 sc "))"]), loc)), loc)), loc), 2292 sc "))"]), loc)), loc)), loc),
2293 fm) 2293 fm)
2294 end 2294 end
2295 | L.ECApp (
2296 (L.ECApp (
2297 (L.ECApp (
2298 (L.EFfi ("Basis", "sql_forget_tables"), _),
2299 _), _),
2300 _), _),
2301 _) =>
2302 let
2303 val s = (L'.TFfi ("Basis", "string"), loc)
2304 fun sc s = (L'.EPrim (Prim.String s), loc)
2305 in
2306 ((L'.EAbs ("x", s, s, (L'.ERel 0, loc)), loc),
2307 fm)
2308 end
2295 2309
2296 | L.EFfi ("Basis", "sql_union") => ((L'.EPrim (Prim.String "UNION"), loc), fm) 2310 | L.EFfi ("Basis", "sql_union") => ((L'.EPrim (Prim.String "UNION"), loc), fm)
2297 | L.EFfi ("Basis", "sql_intersect") => ((L'.EPrim (Prim.String "INTERSECT"), loc), fm) 2311 | L.EFfi ("Basis", "sql_intersect") => ((L'.EPrim (Prim.String "INTERSECT"), loc), fm)
2298 | L.EFfi ("Basis", "sql_except") => ((L'.EPrim (Prim.String "EXCEPT"), loc), fm) 2312 | L.EFfi ("Basis", "sql_except") => ((L'.EPrim (Prim.String "EXCEPT"), loc), fm)
2299 2313