diff --git a/tests/test-dirs/type-enclosing/issue1949.t b/tests/test-dirs/type-enclosing/issue1949.t new file mode 100644 index 0000000000..57570b7b76 --- /dev/null +++ b/tests/test-dirs/type-enclosing/issue1949.t @@ -0,0 +1,11 @@ + $ cat >main.ml < let foo a b = b + > EOF + + $ $MERLIN single type-enclosing -position 1:6 -filename main.ml 'b -> 'b" + +Inconsistent type variables are returned by `type-enclosing`. In term of user experience, the type of `b` it should be `'b`. +See https://github.com/ocaml/merlin/issues/1949. + $ $MERLIN single type-enclosing -position 1:14 -filename main.ml