From 7ab3b305e4f2b8f7d1e24c45756cfe23b0859ddc Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Mon, 20 Sep 2010 13:06:49 -0700
Subject: Move id counters into sess in preparation for moving desugaring to
 middle-end.

---
 src/boot/driver/session.ml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/boot/driver/session.ml')

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;
 }
 ;;
 
-- 
cgit v1.2.3