summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T13123.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/th/T13123.hs')
-rw-r--r--testsuite/tests/th/T13123.hs2
1 files changed, 0 insertions, 2 deletions
diff --git a/testsuite/tests/th/T13123.hs b/testsuite/tests/th/T13123.hs
index dbc071c184..d7e1006b9e 100644
--- a/testsuite/tests/th/T13123.hs
+++ b/testsuite/tests/th/T13123.hs
@@ -8,7 +8,6 @@ module T13123 where
import GHC.Exts (Constraint)
-{-
$([d| idProxy :: forall proxy (a :: k). proxy a -> proxy a
idProxy x = x
|])
@@ -32,7 +31,6 @@ $([d| class Foo b where
$([d| data GADT where
MkGADT :: forall proxy (a :: k). proxy a -> GADT
|])
--}
$([d| data Dec13 :: (* -> Constraint) -> * where
MkDec13 :: c a => a -> Dec13 c