Commit 01ba9637 authored by simonpj's avatar simonpj
Browse files

[project @ 2004-05-05 09:35:39 by simonpj]

Typeable deriving test
parent c967ccb7
......@@ -8,3 +8,4 @@ test('drvfail006', normal, compile_fail, [''])
test('drvfail007', normal, compile_fail, [''])
test('drvfail008', normal, compile_fail, [''])
test('drvfail009', normal, compile_fail, [''])
test('drvfail010', normal, compile_fail, [''])
{-# OPTIONS -fglasgow-exts #-}
module ShouldFail where
import Data.Typeable
data A a b c d e f g h i j = A deriving (Typeable)
-- Too many args
data B a b = B (a b) deriving (Typeable)
-- Non type-kind args
\ No newline at end of file
drvfail010.hs:6:5:
Can't make a derived instance of `Typeable (A a b c d e f g h i j)'
(`A' has too many arguments)
When deriving instances for type `A'
drvfail010.hs:9:5:
Can't make a derived instance of `Typeable (B a b)'
(`B' has arguments of kind other than `*')
When deriving instances for type `B'
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