tobast/mpri-funcprog-project
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

VarVarBind: fix non-transitivity

Browse source
This commit is contained in:
Théophile Bastian 2018-02-16 15:01:06 +01:00
parent 0a4d788513
commit b1e82638b2
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/VarVarBind.ml
View file

@ -27,7 +27,7 @@ let rec clean_term map_env = function
clean_value map_env value,
clean_term map_env next)
| S.LetVal (name, S.VVar subVar, next) ->
clean_term (Env.add name 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, clean_term map_env next)
| S.LetBlo (name, S.Con(tag, args), next) ->