Add HsSyn prettyprinter tests
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail071.hs
1 {-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
2
3 -- !!! Mis-matched contexts in a mutually recursive group
4
5 {- # LANGUAGE NoRelaxedPolyRec #-}
6 -- With the new type checker you can't turn off RelaxedPolyRec
7 -- so this test always succeeds
8
9 module ShouldFail where
10
11 f :: (Ord d) => d -> d
12 f c = g c
13
14 g :: e -> e
15 g c = c
16 where p = f (1 :: Int)