Commit 598b2974 authored by simonmar's avatar simonmar
Browse files

[project @ 2001-08-08 14:23:09 by simonmar]

update expected output
parent 79374b5b
......@@ -7,20 +7,20 @@ read014.hs:8: Warning: Defined but not used: x
read014.hs:6:
Warning: No explicit method nor default method for `*'
in an instance declaration for `Num'
In the instance declaration for `Num (a, b)'
read014.hs:6:
Warning: No explicit method nor default method for `+'
in an instance declaration for `Num'
In the instance declaration for `Num (a, b)'
read014.hs:6:
Warning: No explicit method nor default method for `signum'
in an instance declaration for `Num'
In the instance declaration for `Num (a, b)'
read014.hs:6:
Warning: No explicit method nor default method for `abs'
in an instance declaration for `Num'
In the instance declaration for `Num (a, b)'
read014.hs:6:
Warning: No explicit method nor default method for `fromInteger'
in an instance declaration for `Num'
In the instance declaration for `Num (a, b)'
......@@ -3,4 +3,4 @@ read003.hs:4:
Occurs check: cannot construct the infinite type: t = (t, [a], t1)
Expected type: (t, [a], t1)
Inferred type: t
in a pattern binding: a
In a pattern binding: a
......@@ -2,4 +2,8 @@
read007.hs:6:
`+' is not a data constructor
In the pattern: 2 + 2
in a `do' expression pattern binding: (2 + 2) <- 2
In a 'do' expression pattern binding: (2 + 2) <- 2
In the definition of `f':
do
(2 + 2) <- 2
return x
rnfail001.hs:3:
Conflicting definitions for `x'
in a pattern match
In the definition of `f'
rnfail004.hs:7:
Conflicting definitions for `a'
in a binding group
In a binding group
rnfail004.hs:8:
Conflicting definitions for `b'
in a binding group
In a binding group
rnfail014.hs:8:
Ambiguous constraint `Eq a'
in the type: Eq Bool
Each forall-d type variable mentioned by the constraint must appear after the =>.
In the type signature for an instance decl
rnfail014.hs:12:
Ambiguous constraint `Eq a'
in the type: Int -> Int
Each forall-d type variable mentioned by the constraint must appear after the =>.
In the type signature for `f'
rnfail014.hs:17:
All of the type variable(s) in the constraint `Eq a' are already in scope
All of the type variables in the constraint `Eq a' are already in scope
At least one must be universally quantified here
In the type signature for `op'
Compilation had errors
In the type `(Eq a) => a -> a'
In the class declaration for `Foo'
......@@ -2,4 +2,4 @@
rnfail019.hs:5:
The operator `:' [infixr 5] of a section
must have lower precedence than the operand `(:)' [infixr 5]
In the section: `((x : y) :)'
in the section: `((x : y) :)'
rnfail020.hs:12:
The constraint `Eq a' does not mention any of the universally quantified type variables
in the type `(Eq a) => Set a -> Set a -> Set a'
All of the type variables in the constraint `Eq a' are already in scope
At least one must be universally quantified here
In the type `(Eq a) => Set a -> Set a -> Set a'
In a type signature for `unionSets'
In an equation for function `unionSetB':
In the definition of `unionSetB':
unionSetB (s1 :: Set a) s2
= unionSets s1 s2
where
......
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