blob: fb2eda068fcc47eb8e4cf31185dab0edf1fc7e0c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
(**************************************************************************)
(* *)
(* OCaml *)
(* *)
(* 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 GNU Lesser General Public License version 2.1, with the *)
(* special exception on linking described in the file LICENSE. *)
(* *)
(**************************************************************************)
(* Typechecking of type expressions for the core language *)
open Types
module TyVarEnv : sig
(* this is just the subset of [TyVarEnv] that is needed outside
of [Typetexp]. See the ml file for more. *)
val reset : unit -> unit
(** removes all type variables from scope *)
val with_local_scope : (unit -> 'a) -> 'a
(** Evaluate in a narrowed type-variable scope *)
type poly_univars
val make_poly_univars : string list -> poly_univars
(** remember that a list of strings connotes univars; this must
always be paired with a [check_poly_univars]. *)
val check_poly_univars :
Env.t -> Location.t -> poly_univars -> type_expr list
(** Verify that the given univars are universally quantified,
and return the list of variables. The type in which the
univars are used must be generalised *)
val instance_poly_univars :
Env.t -> Location.t -> poly_univars -> type_expr list
(** Same as [check_poly_univars], but instantiates the resulting
type scheme (i.e. variables become Tvar rather than Tunivar) *)
end
val valid_tyvar_name : string -> bool
val transl_simple_type:
Env.t -> ?univars:TyVarEnv.poly_univars -> closed:bool
-> Parsetree.core_type -> Typedtree.core_type
val transl_simple_type_univars:
Env.t -> Parsetree.core_type -> Typedtree.core_type
val transl_simple_type_delayed
: Env.t
-> Parsetree.core_type
-> Typedtree.core_type * type_expr * (unit -> unit)
(* Translate a type, but leave type variables unbound. Returns
the type, an instance of the corresponding type_expr, and a
function that binds the type variable. *)
val transl_type_scheme:
Env.t -> Parsetree.core_type -> Typedtree.core_type
val transl_type_param:
Env.t -> Parsetree.core_type -> Typedtree.core_type
exception Already_bound
type error =
| Unbound_type_variable of string * string list
| No_type_wildcards
| Undefined_type_constructor of Path.t
| Type_arity_mismatch of Longident.t * int * int
| Bound_type_variable of string
| Recursive_type
| Type_mismatch of Errortrace.unification_error
| Alias_type_mismatch of Errortrace.unification_error
| Present_has_conjunction of string
| Present_has_no_type of string
| Constructor_mismatch of type_expr * type_expr
| Not_a_variant of type_expr
| Variant_tags of string * string
| Invalid_variable_name of string
| Cannot_quantify of string * type_expr
| Multiple_constraints_on_type of Longident.t
| Method_mismatch of string * type_expr * type_expr
| Opened_object of Path.t option
| Not_an_object of type_expr
exception Error of Location.t * Env.t * error
val report_error: Env.t -> Format.formatter -> error -> unit
(* Support for first-class modules. *)
val transl_modtype_longident: (* from Typemod *)
(Location.t -> Env.t -> Longident.t -> Path.t) ref
val transl_modtype: (* from Typemod *)
(Env.t -> Parsetree.module_type -> Typedtree.module_type) ref
|
