blob: 57a9595254a947d24ff262a8eda5afd22e99bcdd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE TypeFamilies #-}
module ShouldFail where
class C8 a where
data S8 a :: * -> *
instance C8 Int where
data S8 Int a = S8Int a
-- Extra argument is not a variable;
-- this is now not allowed
instance C8 Bool where
data S8 Bool Char = S8Bool
|