diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-12-03 09:44:07 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-12-03 09:44:07 -0500 |
commit | 7136358c17f8193173e8a0a9469821039212d879 (patch) | |
tree | 55e7ce9758b2233896d59392e6b86614abab533a /src/jscomp.sml | |
parent | d35896d2f29d23c3cd4c180f9249e44ebf7ed208 (diff) |
Catching integer divisions by zero
Diffstat (limited to 'src/jscomp.sml')
-rw-r--r-- | src/jscomp.sml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml index 43c16cc3..3e475899 100644 --- a/src/jscomp.sml +++ b/src/jscomp.sml @@ -706,6 +706,8 @@ fun process file = | "*" => "times" | "/" => (case bi of Int => "divInt" | NotInt => "div") | "%" => (case bi of Int => "modInt" | NotInt => "mod") + | "fdiv" => "div" + | "fmod" => "mod" | "<" => "lt" | "<=" => "le" | "strcmp" => "strcmp" |