Mercurial > urweb

comparison src/monoize.sml @ 1619:15e0c935c91b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Catching integer divisions by zero
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Dec 2011 09:44:07 -0500
parents da788bd72c9e
children 2b312f6d4007
comparison
equal deleted inserted replaced
1618:705cb41ac7d0 1619:15e0c935c91b
1029 (L'.TFfi ("Basis", "float"), loc), 1029 (L'.TFfi ("Basis", "float"), loc),
1030 (L'.EUnop ("-", (L'.ERel 0, loc)), loc)), loc), 1030 (L'.EUnop ("-", (L'.ERel 0, loc)), loc)), loc),
1031 floatBin "+", 1031 floatBin "+",
1032 floatBin "-", 1032 floatBin "-",
1033 floatBin "*", 1033 floatBin "*",
1034 floatBin "/", 1034 floatBin "fdiv",
1035 floatBin "fmod") 1035 floatBin "fmod")
1036 end 1036 end
1037 1037
1038 | L.ECApp ((L.EFfi ("Basis", "lt"), _), t) => 1038 | L.ECApp ((L.EFfi ("Basis", "lt"), _), t) =>
1039 let 1039 let