blob: a4c63fac936d092df67c2a9773170c93e6092e06 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
-- !!! 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)
|