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

Add test case for #8950.

parent d468cd37
{-# LANGUAGE AutoDeriveTypeable, DataKinds, StandaloneDeriving #-}
module T8950 where
import Data.Typeable
data Foo = Bar
deriving (Eq)
data Baz = Quux
deriving instance Typeable Baz -- shouldn't error
deriving instance Typeable Quux
rep1 = typeRep (Proxy :: Proxy Bool)
rep2 = typeRep (Proxy :: Proxy 'True)
rep3 = typeRep (Proxy :: Proxy Foo)
rep4 = typeRep (Proxy :: Proxy Bar)
......@@ -47,3 +47,4 @@ test('T8758', extra_clean(['T8758a.o', 'T8758a.hi']), multimod_compile, ['T8758a
test('T8678', normal, compile, [''])
test('T8865', normal, compile, [''])
test('T8893', normal, compile, [''])
test('T8950', expect_broken(8950), compile, [''])
Supports Markdown
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