Commit 6d43f0f7 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Accept error message wibbles

parent db73d0ec
......@@ -2,5 +2,5 @@
SimpleFail10.hs:13:3:
Arguments that do not correspond to a class parameter must be variables
Instead of a variable, found Char
In the associated type instance for `S8'
In the data type instance declaration for `S8'
In the instance declaration for `C8 Bool'
SimpleFail4.hs:8:3:
Type declaration in a class must be a kind signature or synonym default:
type instance S2 Int = Char
SimpleFail4.hs:8:11:
Unexpected type `Int' where type variable expected
In the declaration of `S2 Int'
......@@ -2,5 +2,5 @@
SimpleFail9.hs:13:3:
Type indexes must match class instance head
Found `(b, Int)' but expected `(a, Int)'
In the associated type instance for `S7'
In the data type instance declaration for `S7'
In the instance declaration for `C7 Char (a, Int)'
......@@ -4,7 +4,7 @@ T4485.hs:47:15:
(IdentityT IO) (XMLGenT m0 (XML m0))
arising from a use of `asChild'
Matching instances:
instance [overlap ok] (m1 ~ m, EmbedAsChild m c) =>
instance [overlap ok] (EmbedAsChild m c, m1 ~ m) =>
EmbedAsChild m (XMLGenT m1 c)
-- Defined at T4485.hs:29:10-68
instance [overlap ok] EmbedAsChild
......
T3811d.hs:6:11:
Type found: D Char
where type variable expected, in: b (D Char) b
T3811d.hs:6:11:
Unexpected type `D Char' where type variable expected
In the declaration of `C b (D Char) b'
readFail025.hs:5:8:
Type found: String
where type variable expected, in: String
readFail025.hs:5:8:
Unexpected type `String' where type variable expected
In the declaration of `T String'
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