aboutsummaryrefslogtreecommitdiff
path: root/src/boot
diff options
context:
space:
mode:
authorPatrick Walton <[email protected]>2010-09-15 15:24:11 -0700
committerPatrick Walton <[email protected]>2010-09-16 10:26:19 -0700
commit09793dd0c85be635666c308719cf83f377a7ac6e (patch)
treea4b6b2d91f49daa667d36ec63069e04b6b8adba6 /src/boot
parentFixed deadlock caused by the message pump not being notified of new message s... (diff)
downloadrust-09793dd0c85be635666c308719cf83f377a7ac6e.tar.xz
rust-09793dd0c85be635666c308719cf83f377a7ac6e.zip
Not finding a name in a module isn't a bug, it's an error. Report it as such.
Diffstat (limited to 'src/boot')
-rw-r--r--src/boot/me/type.ml6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index 4e737be2..77f8644b 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -438,9 +438,9 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) =
try
Hashtbl.find items id
with Not_found ->
- Common.bug
- ()
- "internal_check_ext_lval: ident %s not found in mod item"
+ Common.err
+ None
+ "the name '%s' can't be found in the module"
id
in
let lty =