Add check file

liufengyun · liufengyun · commit 41f4cbbda1f3 · 2020-04-11T21:35:37.000+02:00
diff --git a/tests/patmat/exhaustive_heuristics.check b/tests/patmat/exhaustive_heuristics.check
@@ -0,0 +1 @@
+11: Pattern Match Exhaustivity: _: List

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+11: Pattern Match Exhaustivity: _: List`