Commit d8532a2b authored by simonpj's avatar simonpj
Browse files

Update to track improvements in typechecker

parent a4c271fa
......@@ -3,10 +3,12 @@ arrowfail003.hs:8:6:
The arrow command
returnA -< []
was found where an expression was expected
In the expression: returnA -< []
In the definition of `foo': foo = returnA -< []
arrowfail003.hs:9:6:
The arrow command
(|zeroArrow |)
was found where an expression was expected
In the expression: (|zeroArrow |)
In the definition of `bar': bar = (|zeroArrow |)
ds041.hs:15:6:
Warning: Fields of `Foo' not initialised: x
In the record construction: Foo {}
In the expression: Foo {}
In the definition of `foo': foo = Foo {}
......@@ -2,11 +2,11 @@
drvfail001.hs:15:5:
No instance for (Show (f (f a)))
arising from the 'deriving' clause of a data type declaration at drvfail001.hs:15:5
Probable fix: add an instance declaration for (Show (f (f a)))
Possible fix: add an instance declaration for (Show (f (f a)))
When deriving the `Show' instance for type `SM'
drvfail001.hs:21:5:
No instance for (Show (f a))
arising from the 'deriving' clause of a data type declaration at drvfail001.hs:21:5
Probable fix: add an instance declaration for (Show (f a))
Possible fix: add an instance declaration for (Show (f a))
When deriving the `Show' instance for type `Cons'
......@@ -2,5 +2,5 @@
drvfail003.hs:13:5:
No instance for (Show (v (v a)))
arising from the 'deriving' clause of a data type declaration at drvfail003.hs:13:5
Probable fix: add an instance declaration for (Show (v (v a)))
Possible fix: add an instance declaration for (Show (v (v a)))
When deriving the `Show' instance for type `Square_'
......@@ -2,7 +2,7 @@
drvfail004.hs:5:5:
Could not deduce (Eq (Foo a b)) from the context (Ord a, Ord b)
arising from the superclasses of an instance declaration at drvfail004.hs:5:5
Probable fix:
Possible fix:
add (Eq (Foo a b)) to the instance declaration superclass context
or add an instance declaration for (Eq (Foo a b))
In the instance declaration for `Ord (Foo a b)'
......@@ -2,5 +2,5 @@
drvfail007.hs:4:5:
No instance for (Eq (Int -> Int))
arising from the 'deriving' clause of a data type declaration at drvfail007.hs:4:5
Probable fix: add an instance declaration for (Eq (Int -> Int))
Possible fix: add an instance declaration for (Eq (Int -> Int))
When deriving the `Eq' instance for type `Foo'
gadt11.hs:8:0:
gadt11.hs:9:2:
Data constructor `B1' returns type `X' instead of its parent type
When checking the data constructor: B1
In the definition of data constructor `B1'
In the data type declaration for `B'
gadt13.hs:13:5:
Couldn't match `Bool' against `Int'
Expected boxy type: Int
Inferred boxy type: Bool
Couldn't match expected type `Int' against inferred type `Bool'
In the pattern: B t
In the definition of `shw': shw (B t) = (("B " ++)) . (shows t)
gadt7.hs:12:42:
Couldn't match the rigid variable `a' against `Int'
`a' is bound by the type signature for `i1'
Expected type: Int
Inferred type: a
In the second argument of `(\ t1 y1 -> case t1 of K -> y1)', namely `y'
In the definition of `i1': i1 t y = (\ t1 y1 -> case t1 of K -> ...) t y
gadt7.hs:12:40:
Couldn't match expected type `Int'
against inferred type `a' (a rigid variable)
`a' is bound by the type signature for `i1' at gadt7.hs:11:8
Expected type: T Int
Inferred type: T a
In the first argument of `(\ t1 y1 -> case t1 of K -> y1)', namely
`t'
In the call ((\ t1 y1 -> case t1 of K -> y1) t y)
......@@ -2,5 +2,5 @@
lazypat.hs:7:2:
A lazy (~) pattern connot bind existential type variables
`a' is bound by the pattern for `T' at lazypat.hs:7:4-8
When checking the pattern: ~(T x f)
In the pattern: ~(T x f)
In the definition of `f': f ~(T x f) = f x
......@@ -2,7 +2,7 @@
mdofail001.hs:10:31:
No instance for (Num Char)
arising from the literal `1' at mdofail001.hs:10:31
Probable fix: add an instance declaration for (Num Char)
In the list element: 1
Possible fix: add an instance declaration for (Num Char)
In the expression: 1
In the first argument of `l', namely `[1, 2, 3]'
In the first argument of `return', namely `(l "1", l [1, 2, 3])'
In the call (l [1, 2, 3])
......@@ -2,5 +2,6 @@
mdofail004.hs:17:4:
No instance for (MonadFix X)
arising from a do statement at mdofail004.hs:17:4-23
Probable fix: add an instance declaration for (MonadFix X)
Possible fix: add an instance declaration for (MonadFix X)
In the expression: mdo return [1, 2, 3, 4]
In the definition of `z': z = mdo return [1, 2, 3, 4]
......@@ -2,5 +2,5 @@
mod46.hs:4:0:
No instance for (Eq T)
arising from the superclasses of an instance declaration at mod46.hs:4:0
Probable fix: add an instance declaration for (Eq T)
Possible fix: add an instance declaration for (Eq T)
In the instance declaration for `Ord T'
......@@ -2,5 +2,6 @@
mod47.hs:6:0:
Could not deduce (Num a) from the context (Eq a, Enum a)
arising from the superclasses of an instance declaration at mod47.hs:6:0
Probable fix: add (Num a) to the instance declaration superclass context
Possible fix:
add (Num a) to the instance declaration superclass context
In the instance declaration for `Bar [a]'
......@@ -2,5 +2,5 @@
mod54.hs:3:5:
No instance for (Eq T)
arising from the superclasses of an instance declaration at mod54.hs:3:5
Probable fix: add an instance declaration for (Eq T)
Possible fix: add an instance declaration for (Eq T)
In the instance declaration for `Ord T'
mod60.hs:3:3:
Constructor `Left' should have 1 argument, but has been given 0
When checking the pattern: Left
In the pattern: Left
In the definition of `f': f (Left) = error "foo"
mod63.hs:3:0: Varying number of arguments for function `f'
mod63.hs:3:0:
Equations for `f' have different numbers of arguments
mod63.hs:3:0-7
mod63.hs:4:0-10
mod98.hs:3:0: Type signature given for an expression
mod98.hs:3:0: Invalid type signature
read003.hs:4:23:
Occurs check: cannot construct the infinite type: a = (a, [a1], c)
Expected type: (a, [a1], c)
Inferred type: a
In the right-hand side of a pattern binding: a
Occurs check: cannot construct the infinite type: t = (t, [t2], t1)
Expected type: (t, [t2], t1)
Inferred type: t
In the expression: a
In a pattern binding:
~(a, b, c)
| nullity b = a
......
\ No newline at end of file
read031.hs:4:2: Invalid type signature
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