Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail128.stderr
1
2 tcfail128.hs:18:16: error:
3     • Ambiguous type variable ‘b0’ arising from a use of ‘thaw’
4       prevents the constraint ‘(Data.Array.Base.MArray
5                                   b0 FlatVector IO)’ from being solved.
6       Probable fix: use a type annotation to specify what ‘b0’ should be.
7       These potential instance exist:
8         one instance involving out-of-scope types
9         (use -fprint-potential-instances to see them all)
10     • In a stmt of a 'do' block: v <- thaw tmp
11       In the expression:
12         do { let sL = ...
13                  dim = length sL
14                  ....;
15              v <- thaw tmp;
16              return () }
17       In an equation for ‘main’:
18           main
19             = do { let sL = ...
20                        ....;
21                    v <- thaw tmp;
22                    return () }