testsuite/tests/simplCore/should_compile/T4398.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# LANGUAGE FlexibleContexts #-}

module T4398 where

{-# RULES "suspicious" forall (x :: a) y. f (x :: Ord a => a) y = g x y  #-}

{-# NOINLINE f #-}
f :: a -> a -> Bool
f x y = True

g :: Ord a => a -> a -> Bool
g = (<)