forked from ocaml/ocaml
-
Notifications
You must be signed in to change notification settings - Fork 0
/
typedecl.mli
111 lines (96 loc) · 4.35 KB
/
typedecl.mli
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
99
100
101
102
103
104
105
106
107
108
109
110
111
(**************************************************************************)
(* *)
(* 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. *)
(* *)
(**************************************************************************)
(* Typing of type definitions and primitive definitions *)
open Types
open Format
val transl_type_decl:
Env.t -> Asttypes.rec_flag -> Parsetree.type_declaration list ->
Typedtree.type_declaration list * Env.t
val transl_exception:
Env.t -> Parsetree.extension_constructor ->
Typedtree.extension_constructor * Env.t
val transl_type_exception:
Env.t ->
Parsetree.type_exception -> Typedtree.type_exception * Env.t
val transl_type_extension:
bool -> Env.t -> Location.t -> Parsetree.type_extension ->
Typedtree.type_extension * Env.t
val transl_value_decl:
Env.t -> Location.t ->
Parsetree.value_description -> Typedtree.value_description * Env.t
(* If the [fixed_row_path] optional argument is provided,
the [Parsetree.type_declaration] argument should satisfy [is_fixed_type] *)
val transl_with_constraint:
Ident.t -> ?fixed_row_path:Path.t ->
sig_env:Env.t -> sig_decl:Types.type_declaration ->
outer_env:Env.t -> Parsetree.type_declaration ->
Typedtree.type_declaration
val abstract_type_decl: injective:bool -> int -> type_declaration
val approx_type_decl:
Parsetree.type_declaration list ->
(Ident.t * type_declaration) list
val check_recmod_typedecl:
Env.t -> Location.t -> Ident.t list -> Path.t -> type_declaration -> unit
val check_coherence:
Env.t -> Location.t -> Path.t -> type_declaration -> unit
(* for fixed types *)
val is_fixed_type : Parsetree.type_declaration -> bool
type native_repr_kind = Unboxed | Untagged
type reaching_type_path = reaching_type_step list
and reaching_type_step =
| Expands_to of type_expr * type_expr
| Contains of type_expr * type_expr
type error =
Repeated_parameter
| Duplicate_constructor of string
| Too_many_constructors
| Duplicate_label of string
| Recursive_abbrev of string * Env.t * reaching_type_path
| Cycle_in_def of string * Env.t * reaching_type_path
| Definition_mismatch of type_expr * Env.t * Includecore.type_mismatch option
| Constraint_failed of Env.t * Errortrace.unification_error
| Inconsistent_constraint of Env.t * Errortrace.unification_error
| Type_clash of Env.t * Errortrace.unification_error
| Non_regular of {
definition: Path.t;
used_as: type_expr;
defined_as: type_expr;
reaching_path: reaching_type_path;
}
| Null_arity_external
| Missing_native_external
| Unbound_type_var of type_expr * type_declaration
| Cannot_extend_private_type of Path.t
| Not_extensible_type of Path.t
| Extension_mismatch of Path.t * Env.t * Includecore.type_mismatch
| Rebind_wrong_type of
Longident.t * Env.t * Errortrace.unification_error
| Rebind_mismatch of Longident.t * Path.t * Path.t
| Rebind_private of Longident.t
| Variance of Typedecl_variance.error
| Unavailable_type_constructor of Path.t
| Unbound_type_var_ext of type_expr * extension_constructor
| Val_in_structure
| Multiple_native_repr_attributes
| Cannot_unbox_or_untag_type of native_repr_kind
| Deep_unbox_or_untag_attribute of native_repr_kind
| Immediacy of Typedecl_immediacy.error
| Separability of Typedecl_separability.error
| Bad_unboxed_attribute of string
| Boxed_and_unboxed
| Nonrec_gadt
| Invalid_private_row_declaration of type_expr
exception Error of Location.t * error
val report_error: formatter -> error -> unit