diff options
| author | sof <unknown> | 1997-06-05 21:36:10 +0000 |
|---|---|---|
| committer | sof <unknown> | 1997-06-05 21:36:10 +0000 |
| commit | e558ad0e49507faf74961aa2b45d1ce53fe288c7 (patch) | |
| tree | 172c2c14edd3bcc13b37ecfc8c5893c0bd8cea81 | |
| parent | 2503f0e861c727bbee0abb37af69981bd02f973d (diff) | |
| download | haskell-e558ad0e49507faf74961aa2b45d1ce53fe288c7.tar.gz | |
[project @ 1997-06-05 21:36:09 by sof]
new tc test
| -rw-r--r-- | ghc/compiler/tests/typecheck/should_fail/tcfail071.hs | 10 | ||||
| -rw-r--r-- | ghc/compiler/tests/typecheck/should_fail/tcfail071.stderr | 0 |
2 files changed, 10 insertions, 0 deletions
diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail071.hs b/ghc/compiler/tests/typecheck/should_fail/tcfail071.hs new file mode 100644 index 0000000000..49587286b9 --- /dev/null +++ b/ghc/compiler/tests/typecheck/should_fail/tcfail071.hs @@ -0,0 +1,10 @@ +--!!! Mis-matched contexts in a mutually recursive group + +module Foo7( f ) where + +f :: (Ord c) => c -> c +f c = g c + +g :: c -> c +g c = c + where p = foldr (f c) [] [] diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail071.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail071.stderr new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/ghc/compiler/tests/typecheck/should_fail/tcfail071.stderr |