diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail071.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail071.hs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail071.hs b/testsuite/tests/typecheck/should_fail/tcfail071.hs new file mode 100644 index 0000000000..cbbd25070f --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail071.hs @@ -0,0 +1,14 @@ +-- !!! Mis-matched contexts in a mutually recursive group + +{- # LANGUAGE NoRelaxedPolyRec #-} +-- With the new type checker you can't turn off RelaxedPolyRec +-- so this test always succeeds + +module ShouldFail where + +f :: (Ord d) => d -> d +f c = g c + +g :: e -> e +g c = c + where p = f (1 :: Int) |