From db955d33b7a54df6ba90bef713110bc2f85b2830 Mon Sep 17 00:00:00 2001 From: Patrick Walton Date: Wed, 3 Nov 2010 18:41:34 -0700 Subject: rustboot: Say exactly which name was unbound when reporting unbound name errors --- src/boot/me/effect.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/boot/me/effect.ml') diff --git a/src/boot/me/effect.ml b/src/boot/me/effect.ml index 238e3e5b..3d52f23a 100644 --- a/src/boot/me/effect.ml +++ b/src/boot/me/effect.ml @@ -273,8 +273,8 @@ let process_crate let root_scope = [ SCOPE_crate crate ] in let auth_effect name eff = match lookup_by_name cx [] root_scope name with - None -> () - | Some (_, id) -> + RES_failed _ -> () + | RES_ok (_, id) -> if defn_id_is_item cx id then htab_put item_auth id eff else err (Some id) "auth clause in crate refers to non-item" -- cgit v1.2.3