Merge branch 'master' into atomics
[ghc.git] / testsuite / tests / simplCore / should_compile / T4398.hs
1 {-# LANGUAGE FlexibleContexts #-}
2
3 module T4398 where
4
5 {-# RULES "suspicious" forall (x :: a) y. f (x :: Ord a => a) y = g x y #-}
6
7 {-# NOINLINE f #-}
8 f :: a -> a -> Bool
9 f x y = True
10
11 g :: Ord a => a -> a -> Bool
12 g = (<)
13