diff options
Diffstat (limited to 'toplevel/genprintval.mli')
| -rw-r--r-- | toplevel/genprintval.mli | 52 |
1 files changed, 0 insertions, 52 deletions
diff --git a/toplevel/genprintval.mli b/toplevel/genprintval.mli deleted file mode 100644 index 898588b2dd..0000000000 --- a/toplevel/genprintval.mli +++ /dev/null @@ -1,52 +0,0 @@ -(***********************************************************************) -(* *) -(* Objective Caml *) -(* *) -(* Jerome Vouillon, 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$ *) - -(* Printing of values *) - -open Types -open Format - -module type OBJ = - sig - type t - val obj : t -> 'a - val is_block : t -> bool - val tag : t -> int - val size : t -> int - val field : t -> int -> t - end - -module type EVALPATH = - sig - type value - val eval_path: Path.t -> value - exception Error - val same_value: value -> value -> bool - end - -module type S = - sig - type t - val install_printer : - Path.t -> Types.type_expr -> (formatter -> t -> unit) -> unit - val remove_printer : Path.t -> unit - val outval_of_untyped_exception : t -> Outcometree.out_value - val outval_of_value : - int -> int -> - (int -> t -> Types.type_expr -> Outcometree.out_value option) -> - Env.t -> t -> type_expr -> Outcometree.out_value - end - -module Make(O : OBJ)(EVP : EVALPATH with type value = O.t) : - (S with type t = O.t) |