Commit ecd6cefc authored by John van Groningen's avatar John van Groningen
Browse files

removed some code that has no effect

parent 7df71790
......@@ -133,20 +133,9 @@ where
{fun_body, fun_type, fun_info} = fun_def
| isEmpty fun_info.fi_dynamics
= (fun_defs, ci)
// For each function which uses dynamics, a module id is constructed regardless
// of its use. In some very specific cases, the let generated here is superfluous.
# (TransformedBody fun_body=:{tb_rhs})
= fun_body
# fun_body
= {fun_body & tb_rhs = tb_rhs}
# fun_body
= TransformedBody fun_body
# (unify_subst_var, ci)
= newVariable "unify_subst" VI_Empty ci
# ci
= {ci & ci_type_pattern_var_count = 0, ci_type_var_count = 0}
# (unify_subst_var, ci) = newVariable "unify_subst" VI_Empty ci
# ci = {ci & ci_type_pattern_var_count = 0, ci_type_var_count = 0}
# (fun_body, ci) = convertDynamics {cinp_st_args = [], cinp_dynamic_representation = dynamic_representation,
cinp_subst_var = unify_subst_var} fun_body ci
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment