Fix TcSimplify.decideQuantification for kind variables
[ghc.git] / testsuite / tests / module / mod72.stderr
1
2 mod72.hs:3:7: error: Variable not in scope: g :: t -> t1