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 @@ -343,6 +343,8 @@ let plus_int x y =
343343
344344let bool e = J. ECond (e, one, zero)
345345
346+ let bool_not e = J. ECond (e, zero, one)
347+
346348(* ***)
347349
348350let source_location ctx ?force (pc : Code.loc ) =
@@ -1330,13 +1332,11 @@ let rec translate_expr ctx queue loc x e level : _ * J.statement_list =
13301332 | Neq , [ x; y ] ->
13311333 let (px, cx), queue = access_queue' ~ctx queue x in
13321334 let (py, cy), queue = access_queue' ~ctx queue y in
1333- ( J. EBin
1334- ( J. Minus
1335- , one
1336- , J. call
1337- (J. dot (s_var " Object" ) (Utf8_string. of_string_exn " is" ))
1338- [ cx; cy ]
1339- loc )
1335+ ( bool_not
1336+ (J. call
1337+ (J. dot (s_var " Object" ) (Utf8_string. of_string_exn " is" ))
1338+ [ cx; cy ]
1339+ loc)
13401340 , or_p px py
13411341 , queue )
13421342 | IsInt , [ x ] ->
You can’t perform that action at this time.
0 commit comments