Commit b1391024 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

test Trac #7800

parent fd4e4ab3
{-# LANGUAGE StandaloneDeriving, DeriveDataTypeable #-}
module T7800 where
import T7800a
import Data.Typeable
deriving instance Typeable A
[1 of 2] Compiling T7800a ( T7800a.hs, T7800a.o )
[2 of 2] Compiling T7800 ( T7800.hs, T7800.o )
To make a Typeable instance of poly-kinded ‛A’, use XPolyKinds
In the stand-alone deriving instance for ‛Typeable A’
{-# LANGUAGE PolyKinds #-}
module T7800a where
data A a
\ No newline at end of file
......@@ -46,3 +46,4 @@ test('T1496', normal, compile_fail, [''])
test('T4846', normal, compile_fail, [''])
test('T7148', normal, compile_fail, [''])
test('T7148a', normal, compile_fail, [''])
test('T7800', normal, multimod_compile_fail, ['T7800',''])
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