Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_compile / T12734a.stderr
1
2 T12734a.hs:72:16: error:
3     • No instance for (Monad (KT A '[Ty] IO))
4         arising from a use of ‘test_gr’
5     • In the expression:
6         test_gr @(KT A '[Ty] IO) @_ @'[Ty] @(Expr Net '[Ty])
7       In an equation for ‘test_ghc_err’:
8           test_ghc_err = test_gr @(KT A '[Ty] IO) @_ @'[Ty] @(Expr Net '[Ty])