diff options
Diffstat (limited to 'typing/path.ml')
| -rw-r--r-- | typing/path.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/typing/path.ml b/typing/path.ml index a029d92175..4fdbeac3f5 100644 --- a/typing/path.ml +++ b/typing/path.ml @@ -53,10 +53,10 @@ let exists_free ids p = | None -> false | _ -> true -let rec binding_time = function - Pident id -> Ident.binding_time id - | Pdot(p, _s, _pos) -> binding_time p - | Papply(p1, p2) -> max (binding_time p1) (binding_time p2) +let rec scope = function + Pident id -> Ident.scope id + | Pdot(p, _s, _pos) -> scope p + | Papply(p1, p2) -> max (scope p1) (scope p2) let kfalse _ = false |