Add kind equalities to GHC.
[ghc.git] / testsuite / tests / ghci / scripts / ghci047.stderr
1
2 <interactive>:38:1: error:
3     • Couldn't match type ‘HFalse’ with ‘HTrue’
4         arising from a use of ‘f’
5     • In the expression: f
6       In the expression: f $ Baz 'a'
7       In an equation for ‘it’: it = f $ Baz 'a'
8
9 <interactive>:39:1: error:
10     • Couldn't match type ‘HFalse’ with ‘HTrue’
11         arising from a use of ‘f’
12     • In the expression: f
13       In the expression: f $ Quz
14       In an equation for ‘it’: it = f $ Quz