diff --git a/test/blackbox-tests/mel-as-string-warnings.t b/test/blackbox-tests/mel-as-string-warnings.t index 251dca6fd..a0d488298 100644 --- a/test/blackbox-tests/mel-as-string-warnings.t +++ b/test/blackbox-tests/mel-as-string-warnings.t @@ -62,3 +62,17 @@ The analog case with `@mel.int` fails to build ^^^^^^^^^^^^^^^ Error: Invalid type for `@mel.int' [2] + +This is wrong, just because there's `[@mel.as]` we shouldn't splice the payload in + + $ cat > x.ml <<\EOF + > external foo : ([ `foo of int [@mel.as "bar"]]) -> string = "foo" + > let _ = foo (`foo 2) + > EOF + $ melc -ppx melppx x.ml + // Generated by Melange + 'use strict'; + + + foo("bar", 2); + /* Not a pure module */