fixing is_infix

jscert · Oct 9, 2017 · acc2e70 · acc2e70
1 parent f75fecc
commit acc2e70
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/js_of_ast.ml b/js_of_ast.ml
@@ -123,8 +123,9 @@ let is_infix f args = match args with
      let open Lexing in
      if f.exp_loc.loc_ghost then false else
      if x.exp_loc.loc_ghost then false else
-       x.exp_loc.loc_end.pos_lnum < f.exp_loc.loc_start.pos_lnum ||
-       x.exp_loc.loc_end.pos_cnum < f.exp_loc.loc_start.pos_cnum
+       x.exp_loc.loc_start.pos_lnum < f.exp_loc.loc_start.pos_lnum ||
+       (x.exp_loc.loc_start.pos_lnum = f.exp_loc.loc_start.pos_lnum &&
+        x.exp_loc.loc_start.pos_cnum < f.exp_loc.loc_start.pos_cnum)
 
 exception Map_fields_elements_mismatch_number_args
 

diff --git a/tests/arith.ml b/tests/arith.ml
@@ -1 +1,3 @@
 let myadd x y = x +. y
+
+let subst x = x-1