summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/T12734a.stderr
blob: 737659fa57668b42e2f18e571e8d1693f569731e (plain)
1
2
3
4
5
6
7
8
9

T12734a.hs:71:16: error:
    • No instance for (Monad (KT A '[Type] IO))
        arising from a use of ‘test_gr’
    • In the expression:
        test_gr @(KT A '[Type] IO) @_ @'[Type] @(Expr Net '[Type])
      In an equation for ‘test_ghc_err’:
          test_ghc_err
            = test_gr @(KT A '[Type] IO) @_ @'[Type] @(Expr Net '[Type])