Test #12938 in indexed-types/should_compile/T12938
authorRichard Eisenberg <rae@cs.brynmawr.edu>
Tue, 15 Aug 2017 18:56:31 +0000 (14:56 -0400)
committerBen Gamari <ben@smart-cactus.org>
Thu, 14 Sep 2017 17:08:46 +0000 (13:08 -0400)
testsuite/tests/indexed-types/should_compile/T12938.hs [new file with mode: 0644]
testsuite/tests/indexed-types/should_compile/all.T

diff --git a/testsuite/tests/indexed-types/should_compile/T12938.hs b/testsuite/tests/indexed-types/should_compile/T12938.hs
new file mode 100644 (file)
index 0000000..1c8f47e
--- /dev/null
@@ -0,0 +1,8 @@
+{-# LANGUAGE TypeInType, TypeFamilies #-}
+
+module Bug where
+
+import GHC.Exts
+
+class HasRep a where
+  type Rep a :: TYPE r
index 32528c8..67ee1b7 100644 (file)
@@ -267,5 +267,6 @@ test('T13662', normal, compile, [''])
 test('T13705', normal, compile, [''])
 test('T12369', normal, compile, [''])
 test('T14045', normal, compile, [''])
+test('T12938', normal, compile, [''])
 test('T14131', normal, compile, [''])
 test('T14162', normal, compile, [''])