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 debug ?force (pc : Code.loc ) =
@@ -1361,13 +1363,11 @@ let rec translate_expr ctx queue loc x e level : _ * J.statement_list =
13611363 | Neq , [ x; y ] ->
13621364 let (px, cx), queue = access_queue' ~ctx queue x in
13631365 let (py, cy), queue = access_queue' ~ctx queue y in
1364- ( J. EBin
1365- ( J. Minus
1366- , one
1367- , J. call
1368- (J. dot (s_var " Object" ) (Utf8_string. of_string_exn " is" ))
1369- [ cx; cy ]
1370- loc )
1366+ ( bool_not
1367+ (J. call
1368+ (J. dot (s_var " Object" ) (Utf8_string. of_string_exn " is" ))
1369+ [ cx; cy ]
1370+ loc)
13711371 , or_p px py
13721372 , queue )
13731373 | IsInt , [ x ] ->
You can’t perform that action at this time.
0 commit comments