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


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

{-# LANGUAGE TypeFamilies #-}

module GivenCheckSwapMain where 

type family S x

f :: a -> S a
f = undefined

g :: Char ~ S a => a -> Char
g y   | False  		= f y
      |	otherwise	= 'a'