Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Glasgow Haskell Compiler
GHC
Commits
be8858f5
Commit
be8858f5
authored
Jun 22, 2001
by
sewardj
Browse files
[project @ 2001-06-22 09:04:29 by sewardj]
Updated expected output for typechecker failure tests.
parent
8fe8aed2
Changes
39
Hide whitespace changes
Inline
Side-by-side
testsuite/tests/ghc-regress/NOTES
View file @
be8858f5
...
...
@@ -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)
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail001.stderr
View file @
be8858f5
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'
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail002.stderr
View file @
be8858f5
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]
i
n the definition of
function
`c': z
I
n the definition of `c': z
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail006.stderr
View file @
be8858f5
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
i
n a
group of
case alternative
s beginning
: (1, True)
arising from the literal `1' at
tests/ghc-regress/typecheck/should_fail/
tcfail006.hs:5
I
n a case alternative: (1, True)
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail007.stderr
View file @
be8858f5
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'
i
n the definition of
function
`n': x + 1
I
n the definition of `n': x + 1
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail008.stderr
View file @
be8858f5
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'
i
n the definition of
function
`o': 1 : 2
I
n 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'
i
n the definition of
function
`o': 1 : 2
I
n the definition of `o': 1 : 2
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail009.stderr
View file @
be8858f5
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)]
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail011.stderr
View file @
be8858f5
tcfail011.hs:3: Variable not in scope: `y'
tests/ghc-regress/typecheck/should_fail/tcfail011.hs:3:
Variable not in scope: `y'
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail013.stderr
View file @
be8858f5
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
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail014.stderr
View file @
be8858f5
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'
i
n the definition of
function
`h': z z
I
n the definition of `h': z z
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail015.stderr
View file @
be8858f5
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
i
n the definition of
function
`g': 4
arising from the literal `4' at
tests/ghc-regress/typecheck/should_fail/
tcfail015.hs:9
I
n the definition of `g': 4
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail017.stderr
View file @
be8858f5
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]'
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail018.stderr
View file @
be8858f5
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
i
n a pattern binding: 1
arising from the literal `1' at
tests/ghc-regress/typecheck/should_fail/
tcfail018.hs:5
I
n a pattern binding: 1
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail020.stderr
View file @
be8858f5
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]'
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail029.stderr
View file @
be8858f5
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
i
n the definition of
function
`f': x > Bar
arising from use of `>' at
tests/ghc-regress/typecheck/should_fail/
tcfail029.hs:6
I
n the definition of `f': x > Bar
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail030.stderr
View file @
be8858f5
tcfail030.hs:3: Variable not in scope: `main'
tests/ghc-regress/typecheck/should_fail/tcfail030.hs:3:
Variable not in scope: `main'
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail031.stderr
View file @
be8858f5
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'
i
n the definition of
function
`f': if 'a' then 1 else 2
I
n the definition of `f': if 'a' then 1 else 2
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail032.stderr
View file @
be8858f5
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)
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail034.stderr
View file @
be8858f5
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)'
i
n the definition of
function
`test': (x `mod` 3) == 0
I
n the definition of `test': (x `mod` 3) == 0
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail040.stderr
View file @
be8858f5
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 `(<<)'
i
n the definition of
function
`f': (<<) === (<<)
I
n the definition of `f': (<<) === (<<)
Prev
1
2
Next
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment