summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T9305.hs
diff options
context:
space:
mode:
authorJoachim Breitner <mail@joachim-breitner.de>2014-07-13 00:27:54 +0200
committerJoachim Breitner <mail@joachim-breitner.de>2014-07-13 00:27:54 +0200
commit47640ca4e5cdb2882f0b30dec7b34f8c5c734171 (patch)
treebc4edf60dad08c5fda282ca142ef4d377bf1b29a /testsuite/tests/typecheck/should_fail/T9305.hs
parent708062b54d85163410a48e80ebb863be4fe21854 (diff)
downloadhaskell-47640ca4e5cdb2882f0b30dec7b34f8c5c734171.tar.gz
Test case for #9305
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T9305.hs')
-rw-r--r--testsuite/tests/typecheck/should_fail/T9305.hs8
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T9305.hs b/testsuite/tests/typecheck/should_fail/T9305.hs
new file mode 100644
index 0000000000..b6ad3b780e
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/T9305.hs
@@ -0,0 +1,8 @@
+{-# LANGUAGE DeriveFunctor#-}
+module Main where
+
+data Event a b = Event a deriving (Functor)
+
+newtype F f = F (f (F f))
+
+data EventF a = EventF (F (Event a)) deriving (Functor)