Merge pull request #1995 from Tim-ats-d/issue1517

Add a test to ensure the behavior showed in issue #1517 is no longer relevant

Author: voodoos

CHANGES.md

@@ -5,7 +5,8 @@ unreleased
     - Fix completion not working for inlined records labels (#1978, fixes #1977)
     - Perform buffer indexing only if the query requires it (#1990 and #1991)
     - Stop unnecessarily forcing substitutions when initializing short-paths graph (#1988)
-    
+  + test suite
+    - Add a test to ensure the behavior showed in issue #1517 is no longer relevant (#1995)
 
 merlin 5.6
 ==========

tests/test-dirs/errors/issue1517.t

@@ -0,0 +1,34 @@
+Ensure that the issue highlighted in issue #1517 is no longer relevant.
+See https://github.com/ocaml/merlin/issues/1517.
+
+  $ cat >main.ml <<EOF
+  > type _ bar =
+  >   | Flag : int bar
+  >   | Other : 'a bar
+  > 
+  > let foo : unit -> int bar -> unit =
+  >   fun () Other -> ()
+  > EOF
+
+  $ $MERLIN single errors -filename main.ml < main.ml
+  {
+    "class": "return",
+    "value": [
+      {
+        "start": {
+          "line": 6,
+          "col": 9
+        },
+        "end": {
+          "line": 6,
+          "col": 14
+        },
+        "type": "warning",
+        "sub": [],
+        "valid": true,
+        "message": "Warning 8: this pattern-matching is not exhaustive.
+    Here is an example of a case that is not matched: Flag"
+      }
+    ],
+    "notifications": []
+  }