Fix C code production, add ifzero basic test

2018-02-16 00:52:07 +01:00 · 2018-02-16 00:52:07 +01:00 · 7c6e2e390e
parent 3141ce6fde
commit 7c6e2e390e
3 changed files with 4 additions and 1 deletions
--- a/src/Finish.ml
+++ b/src/Finish.ml
@ -230,7 +230,8 @@ let rec finish_term (t : S.term) : C.stmt =
      )
  | S.IfZero (expr, tIf, tElse) ->
      T.IfElse (
-        finish_value expr,
+        T.Op2(T.K.Eq, to_int @@ finish_value expr,
+            T.Constant(T.K.Int32, "0")),
        finish_term tIf,
        finish_term tElse)
  | S.Swi (v, bs) ->
--- a/src/tests/simple_if.exp
+++ b/src/tests/simple_if.exp
@ -0,0 +1 @@
+1
--- a/src/tests/simple_if.lambda
+++ b/src/tests/simple_if.lambda
@ -0,0 +1 @@
+ifzero 42 then print 0 else print 1