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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

{-# LANGUAGE TypeFamilies #-}

module ShouldCompile where

data X1 = X1

class C t where
    type D t
    f :: t -> D t -> ()

instance C X1 where
    type D X1 = Bool -> Bool
    f _ h = ()

foo = f X1 (\x -> x)