diff options
Diffstat (limited to 'typing/path.ml')
| -rw-r--r-- | typing/path.ml | 49 |
1 files changed, 0 insertions, 49 deletions
diff --git a/typing/path.ml b/typing/path.ml deleted file mode 100644 index 88f9aa5748..0000000000 --- a/typing/path.ml +++ /dev/null @@ -1,49 +0,0 @@ -(***********************************************************************) -(* *) -(* Objective Caml *) -(* *) -(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) -(* *) -(* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the Q Public License version 1.0. *) -(* *) -(***********************************************************************) - -(* $Id$ *) - -type t = - Pident of Ident.t - | Pdot of t * string * int - | Papply of t * t - -let nopos = -1 - -let rec same p1 p2 = - match (p1, p2) with - (Pident id1, Pident id2) -> Ident.same id1 id2 - | (Pdot(p1, s1, pos1), Pdot(p2, s2, pos2)) -> s1 = s2 && same p1 p2 - | (Papply(fun1, arg1), Papply(fun2, arg2)) -> - same fun1 fun2 && same arg1 arg2 - | (_, _) -> false - -let rec isfree id = function - Pident id' -> Ident.same id id' - | Pdot(p, s, pos) -> isfree id p - | Papply(p1, p2) -> isfree id p1 || isfree id p2 - -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 name = function - Pident id -> Ident.name id - | Pdot(p, s, pos) -> name p ^ "." ^ s - | Papply(p1, p2) -> name p1 ^ "(" ^ name p2 ^ ")" - -let rec head = function - Pident id -> id - | Pdot(p, s, pos) -> head p - | Papply(p1, p2) -> assert false - |