Add missing check file

liufengyun · liufengyun · commit b5ce7fedf87e · 2021-04-29T12:21:47.000+02:00
diff --git a/tests/patmat/i12241.check b/tests/patmat/i12241.check
@@ -0,0 +1 @@
+54: Pattern Match Exhaustivity: (EndpointInput.Empty(), _), (EndpointInput.Pair(), EndpointInput.MappedPair()), (EndpointInput.Pair(), EndpointInput.Pair2()), (EndpointInput.Pair(), EndpointInput.MappedPair2()), (EndpointInput.Pair(), EndpointInput.FixedMethod()), (EndpointInput.Pair(), EndpointInput.FixedPath())

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+54: Pattern Match Exhaustivity: (EndpointInput.Empty(), _), (EndpointInput.Pair(), EndpointInput.MappedPair()), (EndpointInput.Pair(), EndpointInput.Pair2()), (EndpointInput.Pair(), EndpointInput.MappedPair2()), (EndpointInput.Pair(), EndpointInput.FixedMethod()), (EndpointInput.Pair(), EndpointInput.FixedPath())`