diff options
Diffstat (limited to 'tests/patmat/i2253.check')
-rw-r--r-- | tests/patmat/i2253.check | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/patmat/i2253.check b/tests/patmat/i2253.check new file mode 100644 index 000000000..5c86a1ef8 --- /dev/null +++ b/tests/patmat/i2253.check @@ -0,0 +1,3 @@ +27: Pattern Match Exhaustivity: HasIntXIntM, HasIntXStringM +28: Pattern Match Exhaustivity: HasIntXIntM +29: Pattern Match Exhaustivity: HasIntXIntM |