Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / T13105.stderr
1
2 T13105.hs:22:8: error:
3     A levity-polymorphic type is not allowed here:
4       Type: Rep Int
5       Kind: TYPE (RepRep Int)
6     In the type of binder ā€˜nā€™