Commit 3b5c38fc authored by Simon Peyton Jones's avatar Simon Peyton Jones

Track recent changes in error messages

parent b704f0aa
......@@ -8,7 +8,7 @@ A.hs:8:6:
In an equation for `f': f = (1, (2, 3))
A.hs:8:8:
Couldn't match expected type `Int' with actual type `(t, t1)'
Couldn't match expected type `Int' with actual type `(t0, t1)'
In the expression: (2, 3)
In the expression: (1, (2, 3))
In an equation for `f': f = (1, (2, 3))
......@@ -5,9 +5,9 @@ B.hs:4:1:
B.hs:5:12:
Warning: Defaulting the following constraint(s) to type `Integer'
(Enum a) arising from the arithmetic sequence `1 .. 23 * 2'
at B.hs:5:12-20
(Num a) arising from the literal `1' at B.hs:5:13
(Enum a0) arising from the arithmetic sequence `1 .. 23 * 2'
at B.hs:5:12-20
(Num a0) arising from the literal `2' at B.hs:5:19
In the first argument of `length', namely `[1 .. 23 * 2]'
In the first argument of `(-)', namely `length [1 .. 23 * 2]'
In the expression: length [1 .. 23 * 2] - 4
......@@ -21,9 +21,9 @@ B.hs:4:1:
B.hs:5:12:
Warning: Defaulting the following constraint(s) to type `Integer'
(Enum a) arising from the arithmetic sequence `1 .. 23 * 2'
at B.hs:5:12-20
(Num a) arising from the literal `1' at B.hs:5:13
(Enum a0) arising from the arithmetic sequence `1 .. 23 * 2'
at B.hs:5:12-20
(Num a0) arising from the literal `2' at B.hs:5:19
In the first argument of `length', namely `[1 .. 23 * 2]'
In the first argument of `(-)', namely `length [1 .. 23 * 2]'
In the expression: length [1 .. 23 * 2] - 4
......
T3330a.hs:17:34:
Couldn't match type `ix'
with `r ix1 -> Writer [AnyF ((->) (s0 ix0 -> ix1))] (r'0 ix1)'
`ix' is a rigid type variable bound by
the type signature for children :: s ix -> PF s r ix -> [AnyF s]
at T3330a.hs:17:1
Expected type: r ix1 -> Writer [AnyF s] (r'0 ix1)
Actual type: ix
Expected type: (s0 ix0 -> ix1)
-> r ix1
-> Writer [AnyF s] (r'0 ix1)
Actual type: s ix
In the first argument of `hmapM', namely `p'
In the first argument of `execWriter', namely `(hmapM p collect x)'
T3330a.hs:17:34:
Couldn't match type `s' with `(->) (s0 ix0 -> ix1)'
`s' is a rigid type variable bound by
the type signature for children :: s ix -> PF s r ix -> [AnyF s]
at T3330a.hs:17:1
Expected type: (s0 ix0 -> ix1)
-> r ix1
-> Writer [AnyF s] (r'0 ix1)
Actual type: s ix
In the first argument of `hmapM', namely `p'
In the first argument of `execWriter', namely `(hmapM p collect x)'
In the expression: execWriter (hmapM p collect x)
T3330a.hs:17:44:
Couldn't match type `ix' with `r0 ix0 -> Writer [AnyF s0] (r0 ix0)'
`ix' is a rigid type variable bound by
......
......@@ -7,19 +7,19 @@ DoParamM.hs:146:25:
DoParamM.hs:286:28:
Couldn't match expected type `Locked' with actual type `Unlocked'
Expected type: LIO Locked r b
Actual type: LIO Unlocked Locked ()
Expected type: LIO Locked r0 b0
Actual type: LIO Unlocked Locked ()
In the expression: tlock2_do
In the expression:
do { tlock2_do;
tlock2_do }
do { tlock2_do;
tlock2_do }
DoParamM.hs:302:37:
Couldn't match expected type `Unlocked' with actual type `Locked'
Expected type: LIO Unlocked r b
Actual type: LIO Locked Unlocked ()
Expected type: LIO Unlocked r0 b0
Actual type: LIO Locked Unlocked ()
In the expression: unlock
In the expression:
do { tlock2_do;
unlock;
unlock }
do { tlock2_do;
unlock;
unlock }
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