Mercurial > urweb

comparison src/monoize.sml @ 714:0f42461273cf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
CHECK constraints
author Adam Chlipala <adamc@hcoop.net>
date Thu, 09 Apr 2009 15:30:15 -0400
parents 915ec60592d4
children e28637743279
comparison
equal deleted inserted replaced
713:baaae037e7f6 714:0f42461273cf
1337 (L'.EPrim (Prim.String " ("), loc), 1337 (L'.EPrim (Prim.String " ("), loc),
1338 (L'.EField ((L'.ERel 2, loc), "2"), loc), 1338 (L'.EField ((L'.ERel 2, loc), "2"), loc),
1339 (L'.EPrim (Prim.String ")"), loc), 1339 (L'.EPrim (Prim.String ")"), loc),
1340 prop ("OnDelete", "DELETE"), 1340 prop ("OnDelete", "DELETE"),
1341 prop ("OnUpdate", "UPDATE")]), loc)), loc)), loc), 1341 prop ("OnUpdate", "UPDATE")]), loc)), loc)), loc),
1342 fm)
1343 end
1344
1345 | L.ECApp ((L.EFfi ("Basis", "check"), _), _) =>
1346 let
1347 val string = (L'.TFfi ("Basis", "string"), loc)
1348 in
1349 ((L'.EAbs ("e", string, string,
1350 (L'.EStrcat ((L'.EPrim (Prim.String "CHECK "), loc),
1351 (L'.EFfiApp ("Basis", "checkString",
1352 [(L'.ERel 0, loc)]), loc)), loc)), loc),
1342 fm) 1353 fm)
1343 end 1354 end
1344 1355
1345 | L.EFfiApp ("Basis", "dml", [e]) => 1356 | L.EFfiApp ("Basis", "dml", [e]) =>
1346 let 1357 let