Major patch to add -fwarn-redundant-constraints
[ghc.git] / testsuite / tests / typecheck / should_compile / T3743.hs
1 {-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
2 {-# LANGUAGE ImplicitParams, GADTs #-}
3
4 module T3743 where
5
6 class Foo a
7
8 data M where M :: Foo a => a -> M
9
10 x :: (?x :: ()) => ()
11 x = undefined
12
13 -- foo :: (?x :: ()) => M -> ()
14 foo y = case y of
15 M _ -> x