balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

get_scope : fix definition_id bug

Browse Source
This commit is contained in:
Lesenechal Remi 2020-07-01 01:21:44 +02:00
parent 50a1e48f28
commit f9b3887753
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/main/scopes/misc.ml
View File

@ -7,7 +7,7 @@ let get_binder_name : 'a Var.t -> string = fun (v: _ Var.t) ->
else Var.to_name v
let make_def_id name i =
(name ^ (string_of_int i), i+1)
(name ^ "#" ^ (string_of_int i), i+1)
let add_shadowing_def : (int * _ Var.t) -> def -> def_map -> (int * def_map) = fun (i,var) def env ->
if Var.is_generated var then (i,env)