INLINE pragmas on recursive functions are ignored; and this
is checked in my upcoming patch for inlinings.
type Fuel = OptimizationFuel
type Fuel = OptimizationFuel
-{-# INLINE forward_sol #-}
forward_sol
:: forall m l a .
(DebugNodes m l, LastNode l, Outputable a)
forward_sol
:: forall m l a .
(DebugNodes m l, LastNode l, Outputable a)
-
-{-# INLINE forward_rew #-}
forward_rew
:: forall m l a .
(DebugNodes m l, LastNode l, Outputable a)
forward_rew
:: forall m l a .
(DebugNodes m l, LastNode l, Outputable a)
-{-# INLINE backward_sol #-}
backward_sol
:: forall m l a .
(DebugNodes m l, LastNode l, Outputable a)
backward_sol
:: forall m l a .
(DebugNodes m l, LastNode l, Outputable a)
{- ================================================================ -}
{- ================================================================ -}
-{-# INLINE backward_rew #-}
backward_rew
:: forall m l a .
(DebugNodes m l, LastNode l, Outputable a)
backward_rew
:: forall m l a .
(DebugNodes m l, LastNode l, Outputable a)
trivColorable classN conflicts exclusions
= {-# SCC "trivColorable" #-}
let
trivColorable classN conflicts exclusions
= {-# SCC "trivColorable" #-}
let
- {-# INLINE isSqueesed #-}
isSqueesed cI cF ufm
= case ufm of
NodeUFM _ _ left right
isSqueesed cI cF ufm
= case ufm of
NodeUFM _ _ left right