summaryrefslogtreecommitdiff
path: root/compile.ml
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-15 23:14:00 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-15 23:14:00 +0100
commit07c6285fe425f1ec3388bd73bb26e5480c06cca1 (patch)
tree89d862e99436d56c4eec4a9005cf646f2165b89d /compile.ml
parentb6d744438272c5e1b980a36e12336277406e3168 (diff)
downloadpetitcaml-07c6285fe425f1ec3388bd73bb26e5480c06cca1.tar.gz
petitcaml-07c6285fe425f1ec3388bd73bb26e5480c06cca1.tar.bz2
[petitcaml] Fix Not boolean operator
Diffstat (limited to 'compile.ml')
-rw-r--r--compile.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/compile.ml b/compile.ml
index 17defbe..48d8708 100644
--- a/compile.ml
+++ b/compile.ml
@@ -253,7 +253,7 @@ let rec compile_expr env expr =
[Comment "Apply op" ;
begin
match o with
- | ONot -> Not (V0, V0)
+ | ONot -> Seq (V0, ZERO, V0)
| ONeg -> Neg (V0, V0)
end]
| Eletin (m, val_expr, body_expr) ->