Merge branch 'main' into anmonteiro/rm-deps

melange-re · Aug 12, 2023 · 55e493b · 55e493b
2 parents 1399d90 + bf46a13
commit 55e493b
Show file tree

Hide file tree

Showing 3 changed files with 39 additions and 11 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/test/blackbox-tests/uncurry-errors.t b/test/blackbox-tests/uncurry-errors.t
@@ -0,0 +1,28 @@
+
+
+  $ . ./setup.sh
+
+  $ cat > x.ml <<EOF
+  > let x = fun [@u] a -> Js.log a
+  > let () = x 42
+  > EOF
+
+  $ melc -ppx melppx x.ml
+  File "x.ml", line 2, characters 9-10:
+  2 | let () = x 42
+               ^
+  Error: This function is uncurried; it needs to be applied in uncurried style
+  [2]
+
+  $ cat > x.ml <<EOF
+  > let y (a : (int -> int[@u])) = Js.log (a 42 [@u])
+  > let () = y (fun x -> x + 1)
+  > EOF
+
+  $ melc -ppx melppx x.ml
+  File "x.ml", line 2, characters 11-27:
+  2 | let () = y (fun x -> x + 1)
+                 ^^^^^^^^^^^^^^^^
+  Error: This expression is expected to have an uncurried function
+  [2]
+
diff --git a/vendor/melange-compiler-libs b/vendor/melange-compiler-libs