- do_subst rule@(BuiltinRule _ _) = rule
- do_subst (Rule name act tpl_vars lhs_args rhs)
- = Rule name act tpl_vars'
- (map (substExpr subst') lhs_args)
- (substExpr subst' rhs)
+ do_subst rule@(BuiltinRule {}) = rule
+ do_subst rule@(Rule { ru_bndrs = bndrs, ru_args = args, ru_rhs = rhs })
+ = rule { ru_bndrs = bndrs',
+ ru_args = map (substExpr subst') args,
+ ru_rhs = substExpr subst' rhs }