Commit 4d237230 authored by simonmar's avatar simonmar
Browse files

[project @ 2001-10-30 09:30:29 by simonmar]

Update some sample output following rev. 1.41 of
ghc/compiler/prelude/TysPrim.lhs.
parent 0263bf18
tests/ghc-regress/typecheck/should_fail/tcfail002.hs:4:
Occurs check: cannot construct the infinite type: t = [t]
Expected type: t
Inferred type: [t]
tcfail002.hs:4:
Occurs check: cannot construct the infinite type: a = [a]
Expected type: a
Inferred type: [a]
In the definition of `c': z
tcfail005.hs:3:
Couldn't match `[t]' against `(t1, t2)'
Expected type: [t]
Inferred type: (t1, t2)
in a pattern binding: (1, 'a')
Couldn't match `[a]' against `(t, t1)'
Expected type: [a]
Inferred type: (t, t1)
In a pattern binding: (1, 'a')
./tcfail008.hs:3:
No instance for (Num [t])
arising from the literal `2' at ./tcfail008.hs:3
tcfail008.hs:3:
No instance for (Num [a])
arising from the literal `2' at tcfail008.hs:3
In the second argument of `(:)', namely `2'
In the definition of `o': 1 : 2
./tcfail008.hs:3:
Ambiguous type variable(s) `t' in the constraint `Num t'
arising from the literal `1' at ./tcfail008.hs:3
tcfail008.hs:3:
Ambiguous type variable(s) `a' in the constraint `Num a'
arising from the literal `1' at tcfail008.hs:3
In the first argument of `(:)', namely `1'
In the definition of `o': 1 : 2
./tcfail010.hs:3:
No instance for (Num [t])
arising from the literal `2' at ./tcfail010.hs:3
tcfail010.hs:3:
No instance for (Num [a])
arising from the literal `2' at tcfail010.hs:3
In the second argument of `(+)', namely `2'
In a lambda abstraction: z + 2
tcfail012.hs:3:
Couldn't match `Bool' against `[t]'
Couldn't match `Bool' against `[a]'
Expected type: Bool
Inferred type: [t]
in a pattern binding: []
Inferred type: [a]
In a pattern binding: []
tests/ghc-regress/typecheck/should_fail/tcfail013.hs:4:
Couldn't match `[t]' against `Bool'
Expected type: [t]
tcfail013.hs:4:
Couldn't match `[a]' against `Bool'
Expected type: [a]
Inferred type: Bool
In the pattern: True
In the definition of `f': f True = 2
./tcfail018.hs:5:
No instance for (Num [t])
arising from the literal `1' at ./tcfail018.hs:5
tcfail018.hs:5:
No instance for (Num [a])
arising from the literal `1' at tcfail018.hs:5
In a pattern binding: 1
tcfail069.hs:20:
Couldn't match `[t]' against `(t1, t2)'
Expected type: [t]
Inferred type: (t1, t2)
Couldn't match `[a]' against `(t, t1)'
Expected type: [a]
Inferred type: (t, t1)
In the scrutinee of a case expression: (list1, list2)
In the case expression: case (list1, list2) of [] -> error "foo"
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