Commit 08e0fa50 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Accept error message changes

parent b45feda3
T3330a.hs:17:28:
Couldn't match type `ix' with `ix2'
because this skolem type variable would escape: `ix2'
This skolem is bound by
the polymorphic type `forall ix. phi ix -> r ix -> m (r' 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:34:
Couldn't match type `s' with `(->) (s1 ix1 -> ix)'
`s' is a rigid type variable bound by
the type signature for `children' at T3330a.hs:16:13
Expected type: (s1 ix1 -> ix) -> r ix -> Writer [AnyF s] (r' ix)
Actual type: s ix2
In the first argument of `hmapM', namely `p'
In the first argument of `execWriter', namely `(hmapM p collect x)'
T3330a.hs:17:36:
No instance for (HFunctor (PF s))
arising from a use of `collect'
Possible fix: add an instance declaration for (HFunctor (PF s))
In the second argument of `hmapM', namely `collect'
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 `ix1' with `r ix -> Writer [AnyF s1] (r ix)'
Couldn't match type `ix1' with `r ix -> Writer [AnyF s] (r ix)'
`ix1' is a rigid type variable bound by
the type signature for `children' at T3330a.hs:16:15
In the third argument of `hmapM', namely `x'
......
......@@ -16,21 +16,6 @@ T3330c.hs:22:35:
plug' :: R f -> Der f x -> x -> f x
plug' (RSum rf rg) (Inl df) x = Inl (plug rf df x)
T3330c.hs:22:40:
Could not deduce (Rep ((->) x1))
from the context (Rep f, f1 ~ (f2 :+: g))
arising from a use of `plug'
Possible fix:
add (Rep ((->) x1)) to the context of
the data constructor `RSum'
or the type signature for `plug''
or the type signature for `plug'
or add an instance declaration for (Rep ((->) x1))
In the first argument of `Inl', namely `(plug rf df x)'
In the expression: Inl (plug rf df x)
In an equation for `plug'':
plug' (RSum rf rg) (Inl df) x = Inl (plug rf df x)
T3330c.hs:22:45:
Couldn't match type `Der ((->) x)' with `R'
Expected type: Der ((->) x) (f1 x)
......
T4093b.hs:25:21:
Could not deduce (EitherCO
x (EitherCO e (A C C n) (A O C n)) (A C O n)
~
(MaybeC e (n C O), MaybeC x (n O C)))
from the context (EitherCO e (A C O n) (A O O n) ~ A e O n,
EitherCO x (A C C n) (A C O n) ~ A C x n)
Expected type: (MaybeC e (n C O), MaybeC x (n O C))
Actual type: EitherCO
x (EitherCO e (A C C n) (A O C n)) (EitherCO e (A C O n) (A O O n))
In the expression: foldBlockNodesF (f, l) b z
In an equation for `blockToNodeList':
blockToNodeList b
= foldBlockNodesF (f, l) b z
where
z ::
EitherCO e (EitherCO e (A C O n) (A O O n)) (EitherCO e (A C O n) (A O O n))
z = undefined
f ::
n C O
-> EitherCO e (A C O n) (A O O n) -> EitherCO e (A C O n) (A O O n)
f n _ = (JustC n, NothingC)
....
T4093b.hs:31:13:
Couldn't match type `e' with `C'
`e' is a rigid type variable bound by
......
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