testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc134.stderr
1
2 tc134.hs:11:2:
3     The scoped type variable `a' is bound to the type `Int'
4       You can only bind scoped type variables to type variables
5     In the definition of `g': g x :: a = x :: a