Mercurial > urweb

comparison src/monoize.sml @ 961:8c37699de273

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Grid sorting working
author Adam Chlipala <adamc@hcoop.net>
date Sat, 19 Sep 2009 13:32:33 -0400
parents 01a4d936395a
children 8371d12ae63f
comparison
equal deleted inserted replaced
960:6f34950825b6 961:8c37699de273
1021 (L'.EBinop (s, (L'.ERel 1, loc), (L'.ERel 0, loc)), loc)), loc)), loc) 1021 (L'.EBinop (s, (L'.ERel 1, loc), (L'.ERel 0, loc)), loc)), loc)), loc)
1022 in 1022 in
1023 ordEx ((L'.TFfi ("Basis", "time"), loc), 1023 ordEx ((L'.TFfi ("Basis", "time"), loc),
1024 boolBin "<", 1024 boolBin "<",
1025 boolBin "<=") 1025 boolBin "<=")
1026 end
1027 | L.ECApp ((L.EFfi ("Basis", "mkOrd"), _), t) =>
1028 let
1029 val t = monoType env t
1030 val b = (L'.TFfi ("Basis", "bool"), loc)
1031 val dom = ordTy t
1032 in
1033 ((L'.EAbs ("f", dom, dom,
1034 (L'.ERel 0, loc)), loc), fm)
1026 end 1035 end
1027 1036
1028 | L.ECApp ((L.EFfi ("Basis", "show"), _), t) => 1037 | L.ECApp ((L.EFfi ("Basis", "show"), _), t) =>
1029 let 1038 let
1030 val t = monoType env t 1039 val t = monoType env t