testsuite/tests/indexed-types/should_compile/T9582.hs


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 :: T a

instance C Int where
  type T Int = String
  m :: String
  m = "bla"

-- Method signature does not match class; it should be m :: T Int
--    In the instance declaration for ‘C Int’