testsuite/tests/driver/T11381.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE TypeFamilies #-}

module T11381 where

-- ensure that this code does not compile without TypeFamilyDependencies and that
-- injectivity error is not reported.
type family F a = r | r -> a
type instance F Int = Bool
type instance F Int = Char