VarVarBind: add missing cleaning sub-calls
This commit is contained in:
parent
b1e82638b2
commit
63f8b6b61a
|
@ -29,7 +29,7 @@ let rec clean_term map_env = function
|
||||||
| S.LetVal (name, S.VVar subVar, next) ->
|
| S.LetVal (name, S.VVar subVar, next) ->
|
||||||
clean_term (Env.add name (clean_var map_env subVar) map_env) next
|
clean_term (Env.add name (clean_var map_env subVar) map_env) next
|
||||||
| S.LetVal (name, value, next) ->
|
| S.LetVal (name, value, next) ->
|
||||||
S.LetVal (name, value, clean_term map_env next)
|
S.LetVal (name, clean_value map_env value, clean_term map_env next)
|
||||||
| S.LetBlo (name, S.Con(tag, args), next) ->
|
| S.LetBlo (name, S.Con(tag, args), next) ->
|
||||||
S.LetBlo(
|
S.LetBlo(
|
||||||
name,
|
name,
|
||||||
|
@ -48,7 +48,7 @@ let rec clean_term map_env = function
|
||||||
and clean_branch map_env (S.Branch(tag, args, body)) =
|
and clean_branch map_env (S.Branch(tag, args, body)) =
|
||||||
S.Branch(
|
S.Branch(
|
||||||
tag,
|
tag,
|
||||||
args,
|
List.map (clean_var map_env) args,
|
||||||
clean_term map_env body)
|
clean_term map_env body)
|
||||||
|
|
||||||
let clean_function (S.Fun(name, args, body)) =
|
let clean_function (S.Fun(name, args, body)) =
|
||||||
|
|
Loading…
Reference in a new issue