Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T13393.stderr
1
2 T13393.hs:61:3: error:
3     • Ambiguous type variable ‘t0’ arising from a use of ‘mapM’
4       prevents the constraint ‘(Traversable t0)’ from being solved.
5       Probable fix: use a type annotation to specify what ‘t0’ should be.
6       These potential instances exist:
7         instance Traversable (Either a) -- Defined in ‘Data.Traversable’
8         instance Traversable Identity -- Defined in ‘Data.Traversable’
9         instance Traversable Maybe -- Defined in ‘Data.Traversable’
10         ...plus two others
11         ...plus 28 instances involving out-of-scope types
12         (use -fprint-potential-instances to see them all)
13     • In a stmt of a 'do' block:
14         mapM putBackLeftOverInputAndReturnOutput undefined
15       In the expression:
16         do mapM putBackLeftOverInputAndReturnOutput undefined
17            undefined
18       In an equation for ‘encodeLinearToAac’:
19           encodeLinearToAac
20             = do mapM putBackLeftOverInputAndReturnOutput undefined
21                  undefined
22             where
23                 putBackLeftOverInputAndReturnOutput (MkEncodeResult x)
24                   = do leftOvers .= x
25                        ....