Commit 64213029 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Wibbles to error messages following fix to Outputable.quotes

cf Trac #5509
parent f8e0e9ed
<interactive>:7:9: <interactive>:7:9:
Couldn't match expected type `T'' with actual type `T' Couldn't match expected type T' with actual type `T'
In the expression: C :: T' In the expression: C :: T'
In an equation for `c': c = C :: T' In an equation for `c': c = C :: T'
...@@ -9,7 +9,7 @@ T3208b.hs:15:10: ...@@ -9,7 +9,7 @@ T3208b.hs:15:10:
Expected type: STerm a0 Expected type: STerm a0
Actual type: OTerm a0 Actual type: OTerm a0
In the expression: fce (apply f) In the expression: fce (apply f)
In an equation for `fce'': fce' f = fce (apply f) In an equation for fce': fce' f = fce (apply f)
T3208b.hs:15:15: T3208b.hs:15:15:
Could not deduce (OTerm a0 ~ STerm a) Could not deduce (OTerm a0 ~ STerm a)
...@@ -19,4 +19,4 @@ T3208b.hs:15:15: ...@@ -19,4 +19,4 @@ T3208b.hs:15:15:
at T3208b.hs:15:1-22 at T3208b.hs:15:1-22
In the first argument of `fce', namely `(apply f)' In the first argument of `fce', namely `(apply f)'
In the expression: fce (apply f) In the expression: fce (apply f)
In an equation for `fce'': fce' f = fce (apply f) In an equation for fce': fce' f = fce (apply f)
SimpleFail5b.hs:31:12: SimpleFail5b.hs:31:12:
Couldn't match expected type `Int' with actual type `Char' Couldn't match expected type `Int' with actual type `Char'
Expected type: S3 Int Expected type: S3 Int
Actual type: S3 Char Actual type: S3 Char
In the pattern: D3Char In the pattern: D3Char
In an equation for `bar3wrong'': bar3wrong' D3Char = 'a' In an equation for bar3wrong': bar3wrong' D3Char = 'a'
...@@ -5,7 +5,7 @@ T3330c.hs:23:43: ...@@ -5,7 +5,7 @@ T3330c.hs:23:43:
a pattern with constructor a pattern with constructor
RSum :: forall (f :: * -> *) (g :: * -> *). RSum :: forall (f :: * -> *) (g :: * -> *).
R f -> R g -> R (f :+: g), R f -> R g -> R (f :+: g),
in an equation for `plug'' in an equation for plug'
at T3330c.hs:23:8 at T3330c.hs:23:8
In the first argument of `plug', namely `rf' In the first argument of `plug', namely `rf'
In the first argument of `Inl', namely `(plug rf df x)' In the first argument of `Inl', namely `(plug rf df x)'
......
DoParamM.hs:146:25: DoParamM.hs:146:25:
Couldn't match expected type `Int' with actual type `Char' Couldn't match expected type `Int' with actual type `Char'
In the second argument of `(==)', namely `v'' In the second argument of `(==)', namely v'
In the first argument of `return', namely `(v == v')' In the first argument of `return', namely `(v == v')'
In a stmt of a 'do' block: return (v == v') In a stmt of a 'do' block: return (v == v')
......
...@@ -3,5 +3,5 @@ T3950.hs:15:13: ...@@ -3,5 +3,5 @@ T3950.hs:15:13:
Couldn't match expected type `Id p' with actual type `Id p x0' Couldn't match expected type `Id p' with actual type `Id p x0'
Expected type: w (Id p) Expected type: w (Id p)
Actual type: Sealed (Id p x0) Actual type: Sealed (Id p x0)
In the first argument of `Just', namely `rp'' In the first argument of `Just', namely rp'
In the expression: Just rp' In the expression: Just rp'
...@@ -56,7 +56,7 @@ tcfail068.hs:24:35: ...@@ -56,7 +56,7 @@ tcfail068.hs:24:35:
at tcfail068.hs:24:29 at tcfail068.hs:24:29
Expected type: GHC.ST.ST s1 (IndTree s a) Expected type: GHC.ST.ST s1 (IndTree s a)
Actual type: GHC.ST.ST s (IndTree s a) Actual type: GHC.ST.ST s (IndTree s a)
In the return type of a call of `itrap'' In the return type of a call of itrap'
In the first argument of `runST', namely `(itrap' i k)' In the first argument of `runST', namely `(itrap' i k)'
tcfail068.hs:36:46: tcfail068.hs:36:46:
...@@ -88,5 +88,5 @@ tcfail068.hs:36:46: ...@@ -88,5 +88,5 @@ tcfail068.hs:36:46:
at tcfail068.hs:36:40 at tcfail068.hs:36:40
Expected type: GHC.ST.ST s1 (c, IndTree s b) Expected type: GHC.ST.ST s1 (c, IndTree s b)
Actual type: GHC.ST.ST s (c, IndTree s b) Actual type: GHC.ST.ST s (c, IndTree s b)
In the return type of a call of `itrapstate'' In the return type of a call of itrapstate'
In the first argument of `runST', namely `(itrapstate' i k s)' In the first argument of `runST', namely `(itrapstate' i k s)'
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment