summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving/should_fail/T8851.hs
diff options
context:
space:
mode:
authorRichard Eisenberg <eir@cis.upenn.edu>2014-03-13 15:12:27 -0400
committerRichard Eisenberg <eir@cis.upenn.edu>2014-03-13 23:34:55 -0400
commit8ee6162e9a3377cd4c79f49b63f92046b0d5c708 (patch)
tree99eda4f5261f8398865a745e225d2a2eef5e43a5 /testsuite/tests/deriving/should_fail/T8851.hs
parent59722295bb8da8f01d37356fbed6aef7321a8195 (diff)
downloadhaskell-8ee6162e9a3377cd4c79f49b63f92046b0d5c708.tar.gz
Recharacterize test according to discussion in #8851.
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T8851.hs')
-rw-r--r--testsuite/tests/deriving/should_fail/T8851.hs24
1 files changed, 24 insertions, 0 deletions
diff --git a/testsuite/tests/deriving/should_fail/T8851.hs b/testsuite/tests/deriving/should_fail/T8851.hs
new file mode 100644
index 0000000000..84f0ad4ac1
--- /dev/null
+++ b/testsuite/tests/deriving/should_fail/T8851.hs
@@ -0,0 +1,24 @@
+{-# LANGUAGE GeneralizedNewtypeDeriving #-}
+
+module T8851 where
+
+import Control.Applicative
+
+class Parsing m where
+ notFollowedBy :: (Monad m, Show a) => m a -> m ()
+
+data Parser a
+instance Parsing Parser where
+ notFollowedBy = undefined
+
+instance Functor Parser where
+ fmap = undefined
+instance Applicative Parser where
+ pure = undefined
+ (<*>) = undefined
+instance Monad Parser where
+ return = undefined
+ (>>=) = undefined
+
+newtype MyParser a = MkMP (Parser a)
+ deriving Parsing \ No newline at end of file