File tree Expand file tree Collapse file tree 1 file changed +7
-7
lines changed Expand file tree Collapse file tree 1 file changed +7
-7
lines changed Original file line number Diff line number Diff line change @@ -339,6 +339,8 @@ let plus_int x y =
339
339
340
340
let bool e = J. ECond (e, one, zero)
341
341
342
+ let bool_not e = J. ECond (e, zero, one)
343
+
342
344
(* ***)
343
345
344
346
let source_location ctx ?force (pc : Code.loc ) =
@@ -1471,13 +1473,11 @@ let rec translate_expr ctx queue loc x e level : _ * J.statement_list =
1471
1473
| Neq , [ x; y ] ->
1472
1474
let (px, cx), queue = access_queue' ~ctx queue x in
1473
1475
let (py, cy), queue = access_queue' ~ctx queue y in
1474
- ( J. EBin
1475
- ( J. Minus
1476
- , one
1477
- , J. call
1478
- (J. dot (s_var " Object" ) (Utf8_string. of_string_exn " is" ))
1479
- [ cx; cy ]
1480
- loc )
1476
+ ( bool_not
1477
+ (J. call
1478
+ (J. dot (s_var " Object" ) (Utf8_string. of_string_exn " is" ))
1479
+ [ cx; cy ]
1480
+ loc)
1481
1481
, or_p px py
1482
1482
, queue )
1483
1483
| IsInt , [ x ] ->
You can’t perform that action at this time.
0 commit comments