Permalink
Browse files

fix intermediate language semantics of equality test

  • Loading branch information...
1 parent de58629 commit 9f40351d99bef57767067fb03003cdc5824d44bc @xrchz xrchz committed May 14, 2012
Showing with 2 additions and 2 deletions.
  1. +1 −1 examples/miniML/compiler/CompileScript.sml
  2. +1 −1 examples/miniML/compiler/compile.lem
View
2 examples/miniML/compiler/CompileScript.sml
@@ -289,7 +289,7 @@ val _ = Defn.save_defn doPrim2_defn;
/\
(CevalPrim2 CLt = doPrim2 F Bool int_lt)
/\
-(CevalPrim2 CEq = doPrim2 F Bool(=))`;
+(CevalPrim2 CEq = \ v1 v2 . SOME (CVal (CLit (Bool (v1 = v2)))))`;
val _ = Defn.save_defn CevalPrim2_defn;
View
2 examples/miniML/compiler/compile.lem
@@ -257,7 +257,7 @@ CevalPrim2 CMod = doPrim2 true IntLit Int.(%)
and
CevalPrim2 CLt = doPrim2 false Bool Int.(<)
and
-CevalPrim2 CEq = doPrim2 false Bool (=)
+CevalPrim2 CEq = fun v1 v2 -> Some (CVal (CLit (Bool (v1 = v2))))
type Cmatch_result =
| Cmatch of (num,Cv) Pmap.map

0 comments on commit 9f40351

Please sign in to comment.