diff options
author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-03-13 15:12:27 -0400 |
---|---|---|
committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-03-13 23:34:55 -0400 |
commit | 8ee6162e9a3377cd4c79f49b63f92046b0d5c708 (patch) | |
tree | 99eda4f5261f8398865a745e225d2a2eef5e43a5 /testsuite/tests/deriving/should_fail/T8851.hs | |
parent | 59722295bb8da8f01d37356fbed6aef7321a8195 (diff) | |
download | haskell-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.hs | 24 |
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 |