diff options
Diffstat (limited to 'ghc/compiler/tests')
| -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 |