blob: d90620583490c8cde3c65b309b130c06825c7879 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE InstanceSigs, TypeFamilies #-}
module T9582 where
class C a where
type T a
m :: a -> T a
instance C Int where
type T Int = String
m :: Int -> String
m _ = "bla"
-- Method signature does not match class; it should be m :: T Int
-- In the instance declaration for ‘C Int’
|