diff options
Diffstat (limited to 'typing/ident.ml')
| -rw-r--r-- | typing/ident.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/typing/ident.ml b/typing/ident.ml index c5556cb833..d510fa8c23 100644 --- a/typing/ident.ml +++ b/typing/ident.ml @@ -85,7 +85,11 @@ let print ppf i = match i.stamp with | 0 -> fprintf ppf "%s!" i.name | -1 -> fprintf ppf "%s#" i.name - | n -> fprintf ppf "%s/%i%s" i.name n (if global i then "g" else "") + | n -> + let stampstr = + if !Clflags.unique_ids then Printf.sprintf "/%i" n else "" + in + fprintf ppf "%s%s%s" i.name stampstr (if global i then "g" else "") type 'a tbl = Empty |