diff options
author | Thomas Refis <thomas.refis@gmail.com> | 2018-08-28 17:06:45 +0100 |
---|---|---|
committer | Thomas Refis <thomas.refis@gmail.com> | 2018-09-21 11:47:42 -0400 |
commit | 67f29d1a18723654ad82a4907baee288567fc25f (patch) | |
tree | a63ff5112b1d7cd2f9916e2c440e980a6b0e27c2 /debugger/loadprinter.ml | |
parent | 7f3567a63f19775e1d3eb264c5ae1bce820afe34 (diff) | |
download | ocaml-67f29d1a18723654ad82a4907baee288567fc25f.tar.gz |
ident: add an explicit scope field
- Ident.create now takes a scope as argument
- added Ident.create_var to use when the scope doesn't matter
- the current_time and the current_level are unrelated as of this
commit. But one has to remember to bump the level when creating new
scopes.
Diffstat (limited to 'debugger/loadprinter.ml')
-rw-r--r-- | debugger/loadprinter.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debugger/loadprinter.ml b/debugger/loadprinter.ml index c0f1797755..ab35575164 100644 --- a/debugger/loadprinter.ml +++ b/debugger/loadprinter.ml @@ -115,7 +115,6 @@ let match_printer_type desc typename = Env.lookup_type (Ldot(Lident "Topdirs", typename)) Env.empty with Not_found -> raise (Error(Unbound_identifier(Ldot(Lident "Topdirs", typename)))) in - Ctype.init_def(Ident.current_time()); Ctype.begin_def(); let ty_arg = Ctype.newvar() in Ctype.unify Env.empty |