testsuite/tests/simplCore/should_compile/T11272a.hs


1
2
3
4
5
6
7
8
9
10

module T11272a where

import Control.Monad.Trans.State
import Control.Monad

overloaded :: Ord a => a -> a -> State () ()
overloaded x y = do
  () <- get
  when (x <= y) (overloaded y x)
{-# INLINABLE overloaded #-}