From ffdb5fc8582c77eef7b3a30859eaa216872525a4 Mon Sep 17 00:00:00 2001 From: Patrick Walton Date: Tue, 7 Sep 2010 16:35:00 -0700 Subject: Initial support for a global crate metadata cache --- src/boot/util/common.ml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/boot/util') 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 } ;; -- cgit v1.2.3