aboutsummaryrefslogtreecommitdiff
path: root/src/boot/util
diff options
context:
space:
mode:
authorPatrick Walton <[email protected]>2010-09-07 16:35:00 -0700
committerPatrick Walton <[email protected]>2010-09-07 16:35:21 -0700
commitffdb5fc8582c77eef7b3a30859eaa216872525a4 (patch)
treef43afee8d7fcbad87aac197bc774b11e440edfad /src/boot/util
parentAdd hashmap tests exercising strings as keys and values. No longer leaks on ... (diff)
downloadrust-ffdb5fc8582c77eef7b3a30859eaa216872525a4.tar.xz
rust-ffdb5fc8582c77eef7b3a30859eaa216872525a4.zip
Initial support for a global crate metadata cache
Diffstat (limited to 'src/boot/util')
-rw-r--r--src/boot/util/common.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/boot/util/common.ml b/src/boot/util/common.ml
index d9b91856..f51d818e 100644
--- a/src/boot/util/common.ml
+++ b/src/boot/util/common.ml
@@ -13,11 +13,13 @@ type node_id = Node of int
type temp_id = Temp of int
type opaque_id = Opaque of int
type constr_id = Constr of int
+type crate_id = Crate of int
let int_of_node (Node i) = i
let int_of_temp (Temp i) = i
let int_of_opaque (Opaque i) = i
let int_of_constr (Constr i) = i
+let int_of_common (Crate i) = i
type 'a identified = { node: 'a; id: node_id }
;;