Mercurial > urweb
diff src/mono_util.sml @ 1293:acabf3935060
tryDml
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 05 Sep 2010 14:00:57 -0400 |
parents | a9a500d22ebc |
children | b4480a56cab7 |
line wrap: on
line diff
--- a/src/mono_util.sml Sun Sep 05 12:50:06 2010 -0400 +++ b/src/mono_util.sml Sun Sep 05 14:00:57 2010 -0400 @@ -332,10 +332,10 @@ initial = initial'}, loc))))))) - | EDml e => + | EDml (e, fm) => S.map2 (mfe ctx e, fn e' => - (EDml e', loc)) + (EDml (e', fm), loc)) | ENextval e => S.map2 (mfe ctx e, fn e' =>