diff options
| author | Patrick Walton <[email protected]> | 2010-11-03 18:41:34 -0700 |
|---|---|---|
| committer | Patrick Walton <[email protected]> | 2010-11-03 18:42:35 -0700 |
| commit | db955d33b7a54df6ba90bef713110bc2f85b2830 (patch) | |
| tree | 9c6bf7174d76556e18905f574b27af58b73c4490 /src/boot/me/effect.ml | |
| parent | rustc: Use an extensible annotation field instead of putting option[@ty] ever... (diff) | |
| download | rust-db955d33b7a54df6ba90bef713110bc2f85b2830.tar.xz rust-db955d33b7a54df6ba90bef713110bc2f85b2830.zip | |
rustboot: Say exactly which name was unbound when reporting unbound name errors
Diffstat (limited to 'src/boot/me/effect.ml')
| -rw-r--r-- | src/boot/me/effect.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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" |