- fn_has_inline_rule :: Maybe (InlineRuleInfo, Arity) -- Gives arity of the *specialised* inline rule
- fn_has_inline_rule
- | Just inl <- isInlineRule_maybe fn_unf
- = case inl of
- InlWrapper _ -> Just (InlUnSat, spec_arity)
- _ -> Just (inl, spec_arity)
- | otherwise = Nothing
- where
- spec_arity = unfoldingArity fn_unf - n_dicts
+ fn_has_inline_rule :: Maybe InlSatFlag -- Derive sat-flag from existing thing
+ fn_has_inline_rule = case isInlineRule_maybe fn_unf of
+ Just (_,sat) -> Just sat
+ Nothing -> Nothing
+
+ spec_arity = unfoldingArity fn_unf - n_dicts -- Arity of the *specialised* inline rule