diff --git a/tests/test-dirs/with-pp.t/run.t b/tests/test-dirs/with-pp.t/run.t new file mode 100644 index 0000000000..cf54448030 --- /dev/null +++ b/tests/test-dirs/with-pp.t/run.t @@ -0,0 +1,18 @@ + $ cat >pp.sh < #!/bin/sh + > sed 's/world/universe/g' \$1 + > EOF + + $ chmod a+x pp.sh + + $ cat >main.ml < type world!;; + > EOF + + $ cat >.merlin < FLG -pp pp.sh + > EOF + + $ $MERLIN single dump -what ppxed-source -filename main.ml tr -d '\n' | jq '.value' + "type universe"