From 1f0656d9084970fcc02ba9c27277265b8b3b7217 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Mon, 19 Jul 2010 13:25:04 -0700
Subject: Add a test for an obvious-seeming (but not actually legal) kind of
 cast attempted in issue #115, downgrade bug to an err in type.ml so you get a
 better message.

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

(limited to 'src/boot')

diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index a631e58d..13f25778 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -261,9 +261,7 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) =
           else
             LTYPE_poly ((Array.map (fun p -> p.Common.node) params), ty)
       | Ast.MOD_ITEM_type _ ->
-          Common.bug
-            ()
-            "internal_check_mod_item_decl: unexpected mod item type"
+          Common.err None "Type-item used in non-type context"
   in
 
   let rec internal_check_base_lval
-- 
cgit v1.2.3