Fix error-message suppress on given equalities
[ghc.git] / testsuite / tests / indexed-types / should_fail / T5934.stderr
1
2 T5934.hs:12:7: error:
3     • Cannot instantiate unification variable ‘a0’
4       with a type involving foralls: (forall s. GenST s) -> Int
5         GHC doesn't yet support impredicative polymorphism
6     • In the expression: 0
7       In an equation for ‘run’: run = 0
8
9 T5934.hs:12:7: error:
10     • Ambiguous type variable ‘a0’ arising from the literal ‘0’
11       prevents the constraint ‘(Num a0)’ from being solved.
12       Probable fix: use a type annotation to specify what ‘a0’ should be.
13       These potential instances exist:
14         instance Num Integer -- Defined in ‘GHC.Num’
15         instance Num Double -- Defined in ‘GHC.Float’
16         instance Num Float -- Defined in ‘GHC.Float’
17         ...plus two others
18         (use -fprint-potential-instances to see them all)
19     • In the expression: 0
20       In an equation for ‘run’: run = 0