Merge pull request #17 from BuckleScript/FixGh16

Close binary expressions parsing correct

Author: IwanKaramazow

src/napkin_core.ml

@@ -2068,6 +2068,7 @@ and parseBinaryExpr ?(context=OrdinaryExpr) ?a p prec =
         (makeInfixOperator p token startPos endPos)
         [Nolabel, a; Nolabel, b]
       in
+      Parser.eatBreadcrumb p;
       loop expr
     end
   in

tests/parsing/errors/structure/__snapshots__/parse.spec.js.snap

@@ -37,6 +37,70 @@ consecutive statements on a line must be separated by ';' or a newline
 
 
 
+========================================================"
+`;
+
+exports[`gh16A.ns 1`] = `
+"=====Parsetree==========================================
+module C = struct module T = (Fun)(struct ;;foo (a + c) (b + d) end) end
+;;Js.log \\"test\\"
+=====Errors=============================================
+
+File \\"/syntax/tests/parsing/errors/structure/gh16A.ns\\", line 6, characters 0-1:
+
+
+4 │    })
+5 │  }
+6 │  )
+7 │  Js.log(\\"test\\"); // Is omitted from the compiled JS
+
+I'm not sure what to parse here when looking at \\")\\".
+
+
+
+========================================================"
+`;
+
+exports[`gh16B.ns 1`] = `
+"=====Parsetree==========================================
+open Ws
+let wss = Server.make { port = 82 }
+let address = wss |. Server.address
+let log msg = Js.log ({|> Server: |} ^ msg)
+;;log
+    (((((({|Running on: |} ^ address.address) ^ {|:|}) ^
+          (address.port |. string_of_int))
+         ^ {| (|})
+        ^ address.family)
+       ^ {|)|})
+module ClientSet =
+  struct
+    module T =
+      (Belt.Id.MakeComparable)(struct
+                                 type nonrec t = Client.t
+                                 let cmp a b =
+                                   ((compare (a |. Client.getUniqueId)
+                                       (b |. Client.getUniqueId))
+                                   [@ns.braces ])
+                               end)
+    let empty = Belt.Set.make ~id:(((module T))[@ns.namedArgLoc ])
+  end
+;;Js.log \\"test\\"
+=====Errors=============================================
+
+File \\"/syntax/tests/parsing/errors/structure/gh16B.ns\\", line 19, characters 1-2:
+
+
+17 │  
+18 │  
+19 │  })))))))))))))))))))))))))))))); // this \\")\\" here, this can even be \\"))))))))))))))))\\" and should error
+20 │  
+21 │  Js.log(\\"test\\") // should not be omitted
+
+I'm not sure what to parse here when looking at \\")\\".
+
+
+
 ========================================================"
 `;
 

tests/parsing/errors/structure/gh16A.ns

@@ -0,0 +1,7 @@
+module C = {
+  module T = Fun({
+      foo(a + c, b + d)
+  })
+}
+)
+Js.log("test"); // Is omitted from the compiled JS

tests/parsing/errors/structure/gh16B.ns

@@ -0,0 +1,21 @@
+open Ws
+
+let wss = Server.make({port: 82})
+let address = wss->Server.address
+let log = msg => Js.log(`> Server: ${msg}`)
+log(`Running on: ${address.address}:${address.port->string_of_int} (${address.family})`)
+
+module ClientSet = {
+  module T = Belt.Id.MakeComparable({
+    type t = Client.t;
+    let cmp = (a, b) => {
+      compare(a->Client.getUniqueId, b->Client.getUniqueId);
+    };
+  });
+
+  let empty = Belt.Set.make(~id=module (T));
+
+
+})))))))))))))))))))))))))))))); // this ")" here, this can even be "))))))))))))))))" and should error
+
+Js.log("test") // should not be omitted