Mercurial > urweb
diff src/monoize.sml @ 1365:b02cb9da5686
Changed uw_Basis_time to store microseconds
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 24 Dec 2010 18:08:29 -0500 |
| parents | 02fc16faecf3 |
| children | 44a12a321150 |
line wrap: on
line diff
--- a/src/monoize.sml Fri Dec 24 17:18:28 2010 -0500 +++ b/src/monoize.sml Fri Dec 24 18:08:29 2010 -0500 @@ -930,7 +930,7 @@ (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 @@ (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 @@ (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