diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-12-27 12:08:00 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-12-27 12:08:00 -0500 |
| commit | 597fdcf34d2e255e5266d8b6c24214c3030f9904 (patch) | |
| tree | d865a8f0953f4d049fa1905871d6f3c742019ef3 /src/monoize.sml | |
| parent | ad00c1edb8f819c4489dbf1e2106108f92e7bf98 (diff) | |
Fix time comparison operators; safer saving of queryStrings
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 4009226d..30dfdd46 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -1112,11 +1112,11 @@ fun monoExp (env, st, fm) (all as (e, loc)) = (L'.TFun ((L'.TFfi ("Basis", "bool"), loc), (L'.TFfi ("Basis", "bool"), loc)), loc), (L'.EAbs ("y", (L'.TFfi ("Basis", "bool"), loc), (L'.TFfi ("Basis", "bool"), loc), - (L'.EFfiApp ("Basis", s, [(L'.ERel 1, loc), (L'.ERel 0, loc)]), loc)), loc)), loc) + (L'.EBinop (L'.NotInt, s, (L'.ERel 1, loc), (L'.ERel 0, loc)), loc)), loc)), loc) in ordEx ((L'.TFfi ("Basis", "bool"), loc), - boolBin "lt_time", - boolBin "le_time") + boolBin "<", + boolBin "<=") end | L.EFfi ("Basis", "ord_string") => let @@ -1155,7 +1155,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = (L'.TFun ((L'.TFfi ("Basis", "time"), loc), (L'.TFfi ("Basis", "bool"), loc)), loc), (L'.EAbs ("y", (L'.TFfi ("Basis", "time"), loc), (L'.TFfi ("Basis", "bool"), loc), - (L'.EBinop (L'.NotInt, s, (L'.ERel 1, loc), (L'.ERel 0, loc)), loc)), loc)), loc) + (L'.EFfiApp ("Basis", s, [(L'.ERel 1, loc), (L'.ERel 0, loc)]), loc)), loc)), loc) in ordEx ((L'.TFfi ("Basis", "time"), loc), boolBin "lt_time", |