Add source file for new test that checks that as-patterns are rejected
authorDr. ERDI Gergo <gergo@erdi.hu>
Sat, 12 Apr 2014 08:35:44 +0000 (16:35 +0800)
committerDr. ERDI Gergo <gergo@erdi.hu>
Sat, 12 Apr 2014 08:35:44 +0000 (16:35 +0800)
in pattern synonym definitions

testsuite/tests/patsyn/should_fail/as-pattern.hs [new file with mode: 0644]

diff --git a/testsuite/tests/patsyn/should_fail/as-pattern.hs b/testsuite/tests/patsyn/should_fail/as-pattern.hs
new file mode 100644 (file)
index 0000000..2794bed
--- /dev/null
@@ -0,0 +1,4 @@
+{-# LANGUAGE PatternSynonyms #-}
+module ShouldFail where
+
+pattern P x y <- x@(Just y)