diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-12-24 18:08:29 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-12-24 18:08:29 -0500 |
| commit | 3fb7afdd3043b1b0cbaa6e15386bc5862d84d5be (patch) | |
| tree | 47923dc6aff55d648cb135bf24609e6f6e566b95 /src/monoize.sml | |
| parent | a6c580af25ee9e6112fcb116d9b0d2a09d2ea7cf (diff) | |
Changed uw_Basis_time to store microseconds
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 35c6fa83..6946f877 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -930,7 +930,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, "==", (L'.ERel 1, loc), (L'.ERel 0, loc)), loc)), loc)), loc), + (L'.EFfiApp ("Basis", "eq_time", [(L'.ERel 1, loc), (L'.ERel 0, loc)]), loc)), loc)), loc), fm) | L.ECApp ((L.EFfi ("Basis", "mkEq"), _), t) => @@ -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'.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", "bool"), loc), - boolBin "<", - boolBin "<=") + boolBin "lt_time", + boolBin "le_time") end | L.EFfi ("Basis", "ord_string") => let @@ -1158,8 +1158,8 @@ fun monoExp (env, st, fm) (all as (e, loc)) = (L'.EBinop (L'.NotInt, s, (L'.ERel 1, loc), (L'.ERel 0, loc)), loc)), loc)), loc) in ordEx ((L'.TFfi ("Basis", "time"), loc), - boolBin "<", - boolBin "<=") + boolBin "lt_time", + boolBin "le_time") end | L.ECApp ((L.EFfi ("Basis", "mkOrd"), _), t) => let |