From bba4cae1b8b6422a4d9569c7b84139c53834b4eb Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Thu, 23 Sep 2010 17:11:30 -0700
Subject: [PATCH] Resolve constant types through to their definitions.

---
 src/boot/me/type.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index 2e27553712a..3e6c23525ef 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -295,7 +295,9 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) =
             LTYPE_mono ty
           else
             LTYPE_poly ((Array.map (fun p -> p.Common.node) params), ty)
-      | Ast.MOD_ITEM_const (ty, _) -> LTYPE_mono ty
+      | Ast.MOD_ITEM_const _ ->
+          let ty = Hashtbl.find cx.Semant.ctxt_all_item_types mid_id in
+            LTYPE_mono ty
       | Ast.MOD_ITEM_type _ ->
           Common.err None "Type-item used in non-type context"
   in