Test Trac #9023

616f54bd · Simon Peyton Jones · 0a55a3ca · 616f54bd · 616f54bd
Commit 616f54bd authored Jun 05, 2014 by Simon Peyton Jones
--- a/testsuite/tests/patsyn/should_compile/T9023.hs
+++ b/testsuite/tests/patsyn/should_compile/T9023.hs
+{-# LANGUAGE PatternSynonyms #-}
+
+module T9023 where
+
+pattern P a b = Just (a, b)
+foo P{} = True
--- a/testsuite/tests/patsyn/should_compile/all.T
+++ b/testsuite/tests/patsyn/should_compile/all.T
@@ -9,3 +9,4 @@ test('num', normal, compile, [''])
 test('incomplete', normal, compile, [''])
 test('export', normal, compile, [''])
 test('T8966', normal, compile, [''])
+test('T9023', normal, compile, [''])