Commit 1ac91146 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Test #8851.

parent 7fa6c67b
{-# 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
......@@ -43,4 +43,5 @@ test('AutoDeriveTypeable', normal, compile, [''])
test('T8138', reqlib('primitive'), compile, ['-O2'])
test('T8631', normal, compile, [''])
test('T8758', extra_clean(['T8758a.o', 'T8758a.hi']), multimod_compile, ['T8758a', '-v0'])
\ No newline at end of file
test('T8758', extra_clean(['T8758a.o', 'T8758a.hi']), multimod_compile, ['T8758a', '-v0'])
test('T8851', expect_broken(8851), compile, [''])
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment