Commit 386ead57 authored by simonmar's avatar simonmar
Browse files

[project @ 2001-08-20 16:20:30 by simonmar]

update these tests
parent 68990f69
......@@ -135,4 +135,4 @@ test "tc128" { myvtc("") }
test "tc129" { myvtc("") }
test "tc130" { myvtc("") }
test "tc131" { myvtc("") }
test "tc132" { myvtc("") }
test "tc132" { myvtc("-package lang") }
#!/bin/sh
# Run the tests in this directory in an easy way
# The next line is the only one you need to modify
# should this directory change location relative to
# the top of the testsuite dir
TESTSUITE_ROOT=../../../..
# We assume that $TESTSUITE_ROOT/config/default/default.T is a symlink
# to the real config file you wish to use.
exec $TESTSUITE_ROOT/driver/runtests \
--tool=$TESTSUITE_ROOT/../ghc/compiler/ghc-inplace \
--config=$TESTSUITE_ROOT/config/default/default.T \
--rootdir=. \
$*
tc056.hs:14:
Warning: Duplicate class assertion `Eq' a' in the context:
(Eq' a, Eq' a) => ...
./tc056.hs:14:
Warning: Duplicate constraint(s): Eq' a
In the context: (Eq' a, Eq' a)
While checking the context of an instance declaration
In the instance declaration for `Eq' [a]'
#!/bin/sh
# Run the tests in this directory in an easy way
# The next line is the only one you need to modify
# should this directory change location relative to
# the top of the testsuite dir
TESTSUITE_ROOT=../../../..
# We assume that $TESTSUITE_ROOT/config/default/default.T is a symlink
# to the real config file you wish to use.
exec $TESTSUITE_ROOT/driver/runtests \
--tool=$TESTSUITE_ROOT/../ghc/compiler/ghc-inplace \
--config=$TESTSUITE_ROOT/config/default/default.T \
--rootdir=. \
$*
tcfail003.hs:3:
No instance for `Num Char'
arising from the literal `1' at tcfail003.hs:3
./tcfail003.hs:3:
No instance for (Num Char)
arising from the literal `1' at ./tcfail003.hs:3
In the list element: 1
in a pattern binding: [1, 'a']
In a pattern binding: [1, 'a']
tests/ghc-regress/typecheck/should_fail/tcfail006.hs:5:
No instance for `Num Bool'
arising from the literal `1' at tests/ghc-regress/typecheck/should_fail/tcfail006.hs:5
./tcfail006.hs:5:
No instance for (Num Bool)
arising from the literal `1' at ./tcfail006.hs:5
In a case alternative: (1, True)
tests/ghc-regress/typecheck/should_fail/tcfail007.hs:3:
No instance for `Num Bool'
arising from the literal `1' at tests/ghc-regress/typecheck/should_fail/tcfail007.hs:3
./tcfail007.hs:3:
No instance for (Num Bool)
arising from the literal `1' at ./tcfail007.hs:3
In the second argument of `(+)', namely `1'
In the definition of `n': x + 1
tests/ghc-regress/typecheck/should_fail/tcfail008.hs:3:
No instance for `Num [t]'
arising from the literal `2' at tests/ghc-regress/typecheck/should_fail/tcfail008.hs:3
./tcfail008.hs:3:
No instance for (Num [t])
arising from the literal `2' at ./tcfail008.hs:3
In the second argument of `(:)', namely `2'
In the definition of `o': 1 : 2
tests/ghc-regress/typecheck/should_fail/tcfail008.hs:3:
./tcfail008.hs:3:
Ambiguous type variable(s) `t' in the constraint `Num t'
arising from the literal `1' at tests/ghc-regress/typecheck/should_fail/tcfail008.hs:3
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 [t])
arising from the literal `2' at ./tcfail010.hs:3
In the second argument of `(+)', namely `2'
in a lambda abstraction: z + 2
In a lambda abstraction: z + 2
tests/ghc-regress/typecheck/should_fail/tcfail015.hs:9:
No instance for `Num Bool'
arising from the literal `4' at tests/ghc-regress/typecheck/should_fail/tcfail015.hs:9
./tcfail015.hs:9:
No instance for (Num Bool)
arising from the literal `4' at ./tcfail015.hs:9
In the definition of `g': 4
tests/ghc-regress/typecheck/should_fail/tcfail017.hs:10:
Could not deduce `C [a]' from the context (B a)
./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 the instance declaration at tests/ghc-regress/typecheck/should_fail/tcfail017.hs:10
Add (C [a]) to the instance declaration context
Or add an instance declaration for (C [a])
arising from the instance declaration at ./tcfail017.hs:10
In the instance declaration for `B [a]'
tests/ghc-regress/typecheck/should_fail/tcfail018.hs:5:
No instance for `Num [t]'
arising from the literal `1' at tests/ghc-regress/typecheck/should_fail/tcfail018.hs:5
./tcfail018.hs:5:
No instance for (Num [t])
arising from the literal `1' at ./tcfail018.hs:5
In a pattern binding: 1
tcfail019.hs:18:
Could not deduce `C [a]' from the context ()
./tcfail019.hs:18:
Could not deduce (C [a], B [a]) from the context ()
Probable fix:
Add `C [a]' to the instance declaration context
Or add an instance declaration for `C [a]'
arising from an instance declaration at tcfail019.hs:18
tcfail019.hs:18:
Could not deduce `B [a]' from the context ()
Probable fix:
Add `B [a]' to the instance declaration context
Or add an instance declaration for `B [a]'
arising from an instance declaration at tcfail019.hs:18
Add (C [a], B [a]) to the instance declaration context
Or add an instance declaration for (C [a], B [a])
arising from the instance declaration at ./tcfail019.hs:18
In the instance declaration for `D [a]'
tests/ghc-regress/typecheck/should_fail/tcfail020.hs:10:
Could not deduce `A [a]' from the context (A a)
./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 the instance declaration at tests/ghc-regress/typecheck/should_fail/tcfail020.hs:10
Add (A [a]) to the instance declaration context
Or add an instance declaration for (A [a])
arising from the instance declaration at ./tcfail020.hs:10
In the instance declaration for `B [a]'
tests/ghc-regress/typecheck/should_fail/tcfail029.hs:6:
No instance for `Ord Foo'
arising from use of `>' at tests/ghc-regress/typecheck/should_fail/tcfail029.hs:6
./tcfail029.hs:6:
No instance for (Ord Foo)
arising from use of `>' at ./tcfail029.hs:6
In the definition of `f': x > Bar
tests/ghc-regress/typecheck/should_fail/tcfail034.hs:17:
Could not deduce `Integral a' from the context (Num a, Eq a)
./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 tests/ghc-regress/typecheck/should_fail/tcfail034.hs:17
Add (Integral a) to the type signature(s) for test
arising from use of `mod' at ./tcfail034.hs:17
In the first argument of `(==)', namely `(x `mod` 3)'
In the definition of `test': (x `mod` 3) == 0
tests/ghc-regress/typecheck/should_fail/tcfail042.hs:15:
Could not deduce `Num a' from the context (Eq a, Show a)
./tcfail042.hs:15:
Could not deduce (Num a) from the context (Eq a, Show a)
Probable fix:
Add `Num a' to the instance declaration context
arising from the instance declaration at tests/ghc-regress/typecheck/should_fail/tcfail042.hs:15
Add (Num a) to the instance declaration context
arising from the instance declaration at ./tcfail042.hs:15
In the instance declaration for `Bar [a]'
tcfail044.hs:5:
./tcfail044.hs:5:
Illegal instance declaration for `Eq (a -> a)'
(the instance type must be of form (T a b c)
where T is not a synonym, and a,b,c are distinct type variables)
In the instance declaration for `Eq (a -> a)'
tcfail044.hs:8:
./tcfail044.hs:8:
Illegal instance declaration for `Num (a -> a)'
(the instance type must be of form (T a b c)
where T is not a synonym, and a,b,c are distinct type variables)
In the instance declaration for `Num (a -> a)'
tcfail045.hs:10:
./tcfail045.hs:10:
Unacceptable instance type for ccall-ish class CCallable Socket
In the instance declaration for `CCallable Socket'
tcfail047.hs:6:
./tcfail047.hs:6:
Illegal instance declaration for `A (a, (b, c))'
(the instance type must be of form (T a b c)
where T is not a synonym, and a,b,c are distinct type variables)
In the instance declaration for `A (a, (b, c))'
Supports Markdown
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