Commit be8858f5 authored by sewardj's avatar sewardj
Browse files

[project @ 2001-06-22 09:04:29 by sewardj]

Updated expected output for typechecker failure tests.
parent 8fe8aed2
......@@ -8,4 +8,6 @@ typecheck/should_compile tc056,tc115,tc116: stderr not checked
typecheck/should_fail
Data82.hs Digraph.hs Digraph.stderr Inst82_1.hs Inst82_2.hs
have not been assimilated.
(are needed by tcfail082 but am not sure how to do multi-module
tests yet)
tcfail001.hs:8:
Warning: Duplicate class assertion `A a' in the context:
(A a, A a) => ...
tcfail001.hs:9:
tests/ghc-regress/typecheck/should_fail/tcfail001.hs:9:
Couldn't match `[a]' against `t -> t1'
Expected type: [a]
Inferred type: t -> t1
In an equation for function `op': op [] = []
In the definition of `op': op [] = []
In the definition for method `op'
tcfail002.hs:4:
tests/ghc-regress/typecheck/should_fail/tcfail002.hs:4:
Occurs check: cannot construct the infinite type: t = [t]
Expected type: t
Inferred type: [t]
in the definition of function `c': z
In the definition of `c': z
tcfail006.hs:5:
tests/ghc-regress/typecheck/should_fail/tcfail006.hs:5:
No instance for `Num Bool'
arising from the literal `1' at tcfail006.hs:5
in a group of case alternatives beginning: (1, True)
arising from the literal `1' at tests/ghc-regress/typecheck/should_fail/tcfail006.hs:5
In a case alternative: (1, True)
tcfail007.hs:3:
tests/ghc-regress/typecheck/should_fail/tcfail007.hs:3:
No instance for `Num Bool'
arising from the literal `1' at tcfail007.hs:3
arising from the literal `1' at tests/ghc-regress/typecheck/should_fail/tcfail007.hs:3
In the second argument of `(+)', namely `1'
in the definition of function `n': x + 1
In the definition of `n': x + 1
tcfail008.hs:3:
tests/ghc-regress/typecheck/should_fail/tcfail008.hs:3:
No instance for `Num [t]'
arising from the literal `2' at tcfail008.hs:3
arising from the literal `2' at tests/ghc-regress/typecheck/should_fail/tcfail008.hs:3
In the second argument of `(:)', namely `2'
in the definition of function `o': 1 : 2
In the definition of `o': 1 : 2
tcfail008.hs:3:
tests/ghc-regress/typecheck/should_fail/tcfail008.hs:3:
Ambiguous type variable(s) `t' in the constraint `Num t'
arising from the literal `1' at tcfail008.hs:3
arising from the literal `1' at tests/ghc-regress/typecheck/should_fail/tcfail008.hs:3
In the first argument of `(:)', namely `1'
in the definition of function `o': 1 : 2
In the definition of `o': 1 : 2
tcfail009.hs:3:
tests/ghc-regress/typecheck/should_fail/tcfail009.hs:3:
Couldn't match `Integer' against `Int'
Expected type: Integer
Inferred type: Int
In an expression with a type signature: 2 :: Integer
In an arithmetic sequence: [(1 :: Int) .. (2 :: Integer)]
tcfail011.hs:3: Variable not in scope: `y'
tests/ghc-regress/typecheck/should_fail/tcfail011.hs:3:
Variable not in scope: `y'
tcfail013.hs:4:
tests/ghc-regress/typecheck/should_fail/tcfail013.hs:4:
Couldn't match `[t]' against `Bool'
Expected type: [t]
Inferred type: Bool
In the pattern: True
In an equation for function `f': f True = 2
In the definition of `f': f True = 2
tcfail014.hs:5:
tests/ghc-regress/typecheck/should_fail/tcfail014.hs:5:
Occurs check: cannot construct the infinite type: t = t -> t1
Expected type: t
Inferred type: t -> t1
In the first argument of `z', namely `z'
in the definition of function `h': z z
In the definition of `h': z z
tcfail015.hs:9:
tests/ghc-regress/typecheck/should_fail/tcfail015.hs:9:
No instance for `Num Bool'
arising from the literal `4' at tcfail015.hs:9
in the definition of function `g': 4
arising from the literal `4' at tests/ghc-regress/typecheck/should_fail/tcfail015.hs:9
In the definition of `g': 4
tcfail017.hs:10:
tests/ghc-regress/typecheck/should_fail/tcfail017.hs:10:
Could not deduce `C [a]' from the context (B a)
Probable fix:
Add `C [a]' to the instance declaration context
Or add an instance declaration for `C [a]'
arising from an instance declaration at tcfail017.hs:10
arising from the instance declaration at tests/ghc-regress/typecheck/should_fail/tcfail017.hs:10
In the instance declaration for `B [a]'
tcfail018.hs:5:
tests/ghc-regress/typecheck/should_fail/tcfail018.hs:5:
No instance for `Num [t]'
arising from the literal `1' at tcfail018.hs:5
in a pattern binding: 1
arising from the literal `1' at tests/ghc-regress/typecheck/should_fail/tcfail018.hs:5
In a pattern binding: 1
tcfail020.hs:10:
tests/ghc-regress/typecheck/should_fail/tcfail020.hs:10:
Could not deduce `A [a]' from the context (A a)
Probable fix:
Add `A [a]' to the instance declaration context
Or add an instance declaration for `A [a]'
arising from an instance declaration at tcfail020.hs:10
arising from the instance declaration at tests/ghc-regress/typecheck/should_fail/tcfail020.hs:10
In the instance declaration for `B [a]'
tcfail029.hs:6:
tests/ghc-regress/typecheck/should_fail/tcfail029.hs:6:
No instance for `Ord Foo'
arising from use of `>' at tcfail029.hs:6
in the definition of function `f': x > Bar
arising from use of `>' at tests/ghc-regress/typecheck/should_fail/tcfail029.hs:6
In the definition of `f': x > Bar
tcfail030.hs:3: Variable not in scope: `main'
tests/ghc-regress/typecheck/should_fail/tcfail030.hs:3:
Variable not in scope: `main'
tcfail031.hs:3:
tests/ghc-regress/typecheck/should_fail/tcfail031.hs:3:
Couldn't match `Bool' against `Char'
Expected type: Bool
Inferred type: Char
In the predicate expression: 'a'
in the definition of function `f': if 'a' then 1 else 2
In the definition of `f': if 'a' then 1 else 2
tcfail032.hs:14:
tests/ghc-regress/typecheck/should_fail/tcfail032.hs:14:
Inferred type is less polymorphic than expected
Quantified type variable `a' escapes
It is mentioned in the environment
......@@ -10,3 +10,4 @@ tcfail032.hs:14:
When checking an expression type signature
In an expression with a type signature:
x :: forall a. (Eq a) => a -> Int
In the definition of `f': (x :: forall a. (Eq a) => a -> Int)
tcfail034.hs:17:
tests/ghc-regress/typecheck/should_fail/tcfail034.hs:17:
Could not deduce `Integral a' from the context (Num a, Eq a)
Probable fix:
Add `Integral a' to the type signature(s) for {test}
arising from use of `mod' at tcfail034.hs:17
Add `Integral a' to the type signature(s) for test
arising from use of `mod' at tests/ghc-regress/typecheck/should_fail/tcfail034.hs:17
In the first argument of `(==)', namely `(x `mod` 3)'
in the definition of function `test': (x `mod` 3) == 0
In the definition of `test': (x `mod` 3) == 0
tcfail040.hs:19:
tests/ghc-regress/typecheck/should_fail/tcfail040.hs:19:
Ambiguous type variable(s) `a' in the constraint `ORD a'
arising from use of `<<' at tcfail040.hs:19
arising from use of `<<' at tests/ghc-regress/typecheck/should_fail/tcfail040.hs:19
In the second argument of `(===)', namely `(<<)'
in the definition of function `f': (<<) === (<<)
In the definition of `f': (<<) === (<<)
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