Major patch to add -fwarn-redundant-constraints
[ghc.git] / testsuite / tests / simplCore / should_compile / T4398.hs
1 {-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
2 {-# LANGUAGE FlexibleContexts #-}
3
4 module T4398 where
5
6 {-# RULES "suspicious" forall (x :: a) y. f (x :: Ord a => a) y = g x y #-}
7
8 {-# NOINLINE f #-}
9 f :: a -> a -> Bool
10 f x y = True
11
12 g :: Ord a => a -> a -> Bool
13 g = (<)
14