Commit bad9f9a2 authored by simonpj's avatar simonpj
Browse files

[project @ 2002-11-29 11:11:12 by simonpj]

Update expected output
parent b6bb38e0
drvfail004.hs:5:
Could not deduce (Eq (Foo a b)) from the context (Ord a, Ord b)
arising from the instance declaration at drvfail004.hs:5
Probable fix:
Add (Eq (Foo a b)) to the instance declaration superclass context
Or add an instance declaration for (Eq (Foo a b))
arising from the instance declaration at drvfail004.hs:5
In the instance declaration for `Ord (Foo a b)'
mdofail001.hs:10:
No instance for (Num Char)
arising from the literal `1' at mdofail001.hs:10
arising from the literal `1' at mdofail001.hs:10
In the list element: 1
In the first argument of `l', namely `[1, 2, 3]'
In the first argument of `return', namely `(l "1", l [1, 2, 3])'
mod47.hs:6:
Could not deduce (Num a) from the context (Eq a, Enum a)
arising from the instance declaration at mod47.hs:6
Probable fix:
Add (Num a) to the instance declaration superclass context
arising from the instance declaration at mod47.hs:6
In the instance declaration for `Bar [a]'
rnfail026.hs:16:
Couldn't match `* -> *' against `*'
Expected kind: (* -> *) -> *
Inferred kind: * -> k
Kind error: Expecting kind `* -> *',
but `forall a. (Eq a) => Set a' has kind `*'
When checking kinds in `Monad (forall a. (Eq a) => Set a)'
In the instance declaration for `Monad (forall a. (Eq a) => Set a)'
......
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