diff options
Diffstat (limited to 'typing/predef.mli')
| -rw-r--r-- | typing/predef.mli | 65 |
1 files changed, 0 insertions, 65 deletions
diff --git a/typing/predef.mli b/typing/predef.mli deleted file mode 100644 index cfcb71cd71..0000000000 --- a/typing/predef.mli +++ /dev/null @@ -1,65 +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$ *) - -(* Predefined type constructors (with special typing rules in typecore) *) - -open Types - -val type_int: type_expr -val type_char: type_expr -val type_string: type_expr -val type_float: type_expr -val type_bool: type_expr -val type_unit: type_expr -val type_exn: type_expr -val type_array: type_expr -> type_expr -val type_list: type_expr -> type_expr -val type_option: type_expr -> type_expr -val type_nativeint: type_expr -val type_int32: type_expr -val type_int64: type_expr -val type_lazy_t: type_expr -> type_expr - -val path_int: Path.t -val path_char: Path.t -val path_string: Path.t -val path_float: Path.t -val path_bool: Path.t -val path_unit: Path.t -val path_exn: Path.t -val path_array: Path.t -val path_list: Path.t -val path_format4: Path.t -val path_option: Path.t -val path_nativeint: Path.t -val path_int32: Path.t -val path_int64: Path.t -val path_lazy_t: Path.t - -val path_match_failure: Path.t -val path_assert_failure : Path.t -val path_undefined_recursive_module : Path.t - -(* To build the initial environment. Since there is a nasty mutual - recursion between predef and env, we break it by parameterizing - over Env.t, Env.add_type and Env.add_exception. *) - -val build_initial_env: - (Ident.t -> type_declaration -> 'a -> 'a) -> - (Ident.t -> exception_declaration -> 'a -> 'a) -> - 'a -> 'a - -(* To initialize linker tables *) - -val builtin_values: (string * Ident.t) list |