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 @@ -347,6 +347,8 @@ let plus_int x y =
347347
348348let bool e = J. ECond (e, one, zero)
349349
350+ let bool_not e = J. ECond (e, zero, one)
351+
350352(* ***)
351353
352354let source_location ctx ?force (pc : Code.loc ) =
@@ -1302,13 +1304,11 @@ let rec translate_expr ctx queue loc x e level : _ * J.statement_list =
13021304 | Neq , [ x; y ] ->
13031305 let (px, cx), queue = access_queue' ~ctx queue x in
13041306 let (py, cy), queue = access_queue' ~ctx queue y in
1305- ( J. EBin
1306- ( J. Minus
1307- , one
1308- , J. call
1309- (J. dot (s_var " Object" ) (Utf8_string. of_string_exn " is" ))
1310- [ cx; cy ]
1311- loc )
1307+ ( bool_not
1308+ (J. call
1309+ (J. dot (s_var " Object" ) (Utf8_string. of_string_exn " is" ))
1310+ [ cx; cy ]
1311+ loc)
13121312 , or_p px py
13131313 , queue )
13141314 | IsInt , [ x ] ->
You can’t perform that action at this time.
0 commit comments