aboutsummaryrefslogtreecommitdiff
path: root/src/boot/driver/session.ml
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2010-09-20 13:06:49 -0700
committerGraydon Hoare <[email protected]>2010-09-20 13:06:49 -0700
commit7ab3b305e4f2b8f7d1e24c45756cfe23b0859ddc (patch)
tree4897e598c2a06a76bfd0c2e709e6828126b29d29 /src/boot/driver/session.ml
parentBeginnings of post-resolve simplify pass. (diff)
downloadrust-7ab3b305e4f2b8f7d1e24c45756cfe23b0859ddc.tar.xz
rust-7ab3b305e4f2b8f7d1e24c45756cfe23b0859ddc.zip
Move id counters into sess in preparation for moving desugaring to middle-end.
Diffstat (limited to 'src/boot/driver/session.ml')
-rw-r--r--src/boot/driver/session.ml5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/boot/driver/session.ml b/src/boot/driver/session.ml
index 2f81e4f5..06fcacb2 100644
--- a/src/boot/driver/session.ml
+++ b/src/boot/driver/session.ml
@@ -47,10 +47,15 @@ type sess =
mutable sess_report_deps: bool;
mutable sess_next_crate_id: int;
mutable sess_fuzz_item_count: int;
+
sess_timings: (string, float) Hashtbl.t;
sess_spans: (node_id,span) Hashtbl.t;
sess_lib_dirs: filename Queue.t;
sess_crate_meta: (meta, crate_id) Hashtbl.t;
+
+ sess_node_id_counter: node_id ref;
+ sess_opaque_id_counter: opaque_id ref;
+ sess_temp_id_counter: temp_id ref;
}
;;