Mercurial > urweb

comparison src/monoize.sml @ 468:4efab85405be

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Ensql'ing nullables
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 15:52:13 -0500
parents 3f1b9231a37b
children 7cb418e9714f
comparison
equal deleted inserted replaced
467:3f1b9231a37b 468:4efab85405be
981 981
982 | L.EFfiApp ("Basis", "dml", [e]) => 982 | L.EFfiApp ("Basis", "dml", [e]) =>
983 let 983 let
984 val (e, fm) = monoExp (env, st, fm) e 984 val (e, fm) = monoExp (env, st, fm) e
985 in 985 in
986 ((L'.EDml (liftExpInExp 0 e), loc), 986 ((L'.EDml e, loc),
987 fm) 987 fm)
988 end 988 end
989 989
990 | L.ECApp ((L.EFfi ("Basis", "insert"), _), fields) => 990 | L.ECApp ((L.EFfi ("Basis", "insert"), _), fields) =>
991 (case monoType env (L.TRecord fields, loc) of 991 (case monoType env (L.TRecord fields, loc) of