updModeForRuleLHS :: SimplifierMode -> SimplifierMode
-- See Note [Simplifying rule LHSs]
updModeForRuleLHS current_mode
  = current_mode { sm_phase  = InitialPhase
                 , sm_inline = False
                 , sm_rules  = False
                 , sm_eta_expand = False }
updModeForRuleLHS :: SimplifierMode -> SimplifierMode
updModeForRuleLHS current_mode
  = current_mode { sm_phase  = InitialPhase
                 , sm_inline = False
                 , sm_rules  = False
                 , sm_eta_expand = False }
updModeForRuleLHS current_mode
  = current_mode { sm_phase  = InitialPhase
                 , sm_inline = False
                 , sm_rules  = False
                 , sm_eta_expand = False }