[MLton-commit] r5706
Matthew Fluet
fluet at mlton.org
Sun Jul 1 14:26:50 PDT 2007
Overflow checking for 64-bit multiplication is provided by Word-check.h
----------------------------------------------------------------------
U mlton/trunk/mlton/codegen/c-codegen/c-codegen.fun
----------------------------------------------------------------------
Modified: mlton/trunk/mlton/codegen/c-codegen/c-codegen.fun
===================================================================
--- mlton/trunk/mlton/codegen/c-codegen/c-codegen.fun 2007-07-01 21:26:11 UTC (rev 5705)
+++ mlton/trunk/mlton/codegen/c-codegen/c-codegen.fun 2007-07-01 21:26:50 UTC (rev 5706)
@@ -134,12 +134,6 @@
fun implementsPrim (p: 'a Prim.t): bool =
let
datatype z = datatype Prim.Name.t
- fun w32168 s =
- case WordSize.prim s of
- W8 => true
- | W16 => true
- | W32 => true
- | W64 => false
in
case Prim.name p of
CPointer_add => true
@@ -186,7 +180,7 @@
| Word_lshift _ => true
| Word_lt _ => true
| Word_mul _ => true
- | Word_mulCheck (s, _) => w32168 s
+ | Word_mulCheck _ => true
| Word_neg _ => true
| Word_negCheck _ => true
| Word_notb _ => true
More information about the MLton-commit
mailing list