From b71f703d2a75dee0dbceab7102466183410e3a78 Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simonpj@microsoft.com>
Date: Mon, 30 Apr 2012 16:35:03 +0100
Subject: Test Trac #6054

---
 testsuite/tests/polykinds/T6054a.hs | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 testsuite/tests/polykinds/T6054a.hs

(limited to 'testsuite/tests/polykinds/T6054a.hs')

diff --git a/testsuite/tests/polykinds/T6054a.hs b/testsuite/tests/polykinds/T6054a.hs
new file mode 100644
index 0000000000..5b1077f0da
--- /dev/null
+++ b/testsuite/tests/polykinds/T6054a.hs
@@ -0,0 +1,6 @@
+{-# LANGUAGE PolyKinds, FunctionalDependencies, KindSignatures, MultiParamTypeClasses, DataKinds #-}
+
+module T6054a where
+
+class Bar a (p :: Bool) | a -> p
+data Proxy a = Proxy deriving Show
-- 
cgit v1.2.1