ghc/tests/typecheck/should_compile/tc040.hs

   1 module ShouldSucceed where
   2
   3 -- !!! tests the deduction of contexts.
   4
   5 f :: (Eq a) => a -> [a]
   6
   7 f x = g x
   8       where
   9       g y = if (y == x) then [] else [y]