diff options
| author | simonpj <unknown> | 2002-09-25 14:44:14 +0000 |
|---|---|---|
| committer | simonpj <unknown> | 2002-09-25 14:44:14 +0000 |
| commit | c9a8ae1d13963686e321b5aab5052d45cb698628 (patch) | |
| tree | 0d6f6561dece364efcdac5bf58c1c89d64450f8c /testsuite/tests/ghc-regress/rename | |
| parent | eed9bbce0764a6fbd43766f6e3b1f2ea34d70a06 (diff) | |
| download | haskell-c9a8ae1d13963686e321b5aab5052d45cb698628.tar.gz | |
[project @ 2002-09-25 14:44:14 by simonpj]
Move to typecheck/should_fail
Diffstat (limited to 'testsuite/tests/ghc-regress/rename')
| -rw-r--r-- | testsuite/tests/ghc-regress/rename/should_fail/rnfail014.hs | 16 | ||||
| -rw-r--r-- | testsuite/tests/ghc-regress/rename/should_fail/rnfail014.stderr | 7 |
2 files changed, 0 insertions, 23 deletions
diff --git a/testsuite/tests/ghc-regress/rename/should_fail/rnfail014.hs b/testsuite/tests/ghc-regress/rename/should_fail/rnfail014.hs deleted file mode 100644 index e96f96016d..0000000000 --- a/testsuite/tests/ghc-regress/rename/should_fail/rnfail014.hs +++ /dev/null @@ -1,16 +0,0 @@ -{- Check that the context of a type does not - constrain any in-scope variables, and only constrains - type variables free in the type. --} - -module Foo where - -class Wob a - -instance Wob a => Wob Bool - -f :: Eq a => Int -> Int -f x = x - -class Foo a where - op :: Eq a => a -> a diff --git a/testsuite/tests/ghc-regress/rename/should_fail/rnfail014.stderr b/testsuite/tests/ghc-regress/rename/should_fail/rnfail014.stderr deleted file mode 100644 index 8ccb27e4af..0000000000 --- a/testsuite/tests/ghc-regress/rename/should_fail/rnfail014.stderr +++ /dev/null @@ -1,7 +0,0 @@ - -rnfail014.hs:12: - Ambiguous constraint `Eq a' - At least one of the forall'd type variables mentioned by the constraint - must be reachable from the type after the '=>' - In the type: forall a. (Eq a) => Int -> Int - While checking the type signature for `f' |