From 87504d68b4fdfb9e9ac2915f8a68864025abdadd Mon Sep 17 00:00:00 2001 From: "Dr. ERDI Gergo" <gergo@erdi.hu> Date: Sat, 12 Apr 2014 16:35:44 +0800 Subject: [PATCH] Add source file for new test that checks that as-patterns are rejected in pattern synonym definitions (cherry picked from commit dd3a6d270f827a59f7a33f32facc506cb35af1fa) --- testsuite/tests/patsyn/should_fail/as-pattern.hs | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 testsuite/tests/patsyn/should_fail/as-pattern.hs diff --git a/testsuite/tests/patsyn/should_fail/as-pattern.hs b/testsuite/tests/patsyn/should_fail/as-pattern.hs new file mode 100644 index 000000000000..2794bed16ae8 --- /dev/null +++ b/testsuite/tests/patsyn/should_fail/as-pattern.hs @@ -0,0 +1,4 @@ +{-# LANGUAGE PatternSynonyms #-} +module ShouldFail where + +pattern P x y <- x@(Just y) -- GitLab