From 1a7c07b01e6d4ccb5987341f0bee3fbfbed0fb9b Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simonpj@microsoft.com>
Date: Thu, 5 Jun 2014 12:26:24 +0100
Subject: [PATCH] Test Trac #9023

(cherry picked from commit 616f54bdc28ad699f903248a5fb18dc0e5b52a52)
---
 testsuite/tests/patsyn/should_compile/T9023.hs | 6 ++++++
 testsuite/tests/patsyn/should_compile/all.T    | 1 +
 2 files changed, 7 insertions(+)
 create mode 100644 testsuite/tests/patsyn/should_compile/T9023.hs

diff --git a/testsuite/tests/patsyn/should_compile/T9023.hs b/testsuite/tests/patsyn/should_compile/T9023.hs
new file mode 100644
index 000000000000..3a8614009fff
--- /dev/null
+++ b/testsuite/tests/patsyn/should_compile/T9023.hs
@@ -0,0 +1,6 @@
+{-# LANGUAGE PatternSynonyms #-}
+
+module T9023 where
+
+pattern P a b = Just (a, b)
+foo P{} = True
diff --git a/testsuite/tests/patsyn/should_compile/all.T b/testsuite/tests/patsyn/should_compile/all.T
index ecc470166123..d851bc3ac837 100644
--- 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, [''])
-- 
GitLab