From 4d31cf1dc58794b8f72240eb19c48b392e9de7b2 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Tue, 27 Jul 2010 11:19:43 -0700
Subject: Distill semantics of use-def maps to fewer and more-obvious words.

- Remove redundant uses of 'resolve' and 'referent' in semant.
- Use defn, defn_id, lval, lval_base more consistently.
- Make associated query functions more consistent.
- Closes #127.
---
 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 c55e1d12..79868def 100644
--- a/src/boot/me/effect.ml
+++ b/src/boot/me/effect.ml
@@ -172,7 +172,7 @@ let function_effect_propagation_visitor
                     lower_to s taux.Ast.fn_effect;
                 | _ -> bug () "non-fn callee"
             in
-              if lval_is_slot cx fn
+              if lval_base_is_slot cx fn
               then
                 lower_to_callee_ty (lval_ty cx fn)
               else
@@ -335,7 +335,7 @@ let process_crate
     match lookup_by_name cx [] root_scope name with
         None -> ()
       | Some (_, id) ->
-          if referent_is_item cx 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"
   in
-- 
cgit v1.2.3