This repository was archived by the owner on Nov 12, 2020. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathtypedecl.mli
106 lines (90 loc) · 4.16 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
(**************************************************************************)
(* *)
(* 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_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
val transl_with_constraint:
Env.t -> Ident.t -> Path.t option -> Types.type_declaration ->
Parsetree.type_declaration -> Typedtree.type_declaration
val abstract_type_decl: 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 -> Ident.t -> type_declaration -> unit
(* for fixed types *)
val is_fixed_type : Parsetree.type_declaration -> bool
(* for typeclass.ml *)
val compute_variance_decls:
Env.t ->
(Ident.t * Types.type_declaration * Types.type_declaration *
Types.class_declaration * Types.class_type_declaration *
'a Typedtree.class_infos) list ->
(Types.type_declaration * Types.type_declaration *
Types.class_declaration * Types.class_type_declaration) list
(* for typeopt.ml *)
val get_unboxed_type_representation: Env.t -> type_expr -> type_expr option
type native_repr_kind = Unboxed | Untagged
type error =
Repeated_parameter
| Duplicate_constructor of string
| Too_many_constructors
| Duplicate_label of string
| Recursive_abbrev of string
| Cycle_in_def of string * type_expr
| Definition_mismatch of type_expr * Includecore.type_mismatch list
| Constraint_failed of type_expr * type_expr
| Inconsistent_constraint of Env.t * (type_expr * type_expr) list
| Type_clash of Env.t * (type_expr * type_expr) list
| Parameters_differ of Path.t * type_expr * type_expr
| 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 * Includecore.type_mismatch list
| Rebind_wrong_type of Longident.t * Env.t * (type_expr * type_expr) list
| Rebind_mismatch of Longident.t * Path.t * Path.t
| Rebind_private of Longident.t
| Bad_variance of int * (bool*bool*bool) * (bool*bool*bool)
| Unavailable_type_constructor of Path.t
| Bad_fixed_type of string
| Unbound_type_var_ext of type_expr * extension_constructor
| Varying_anonymous
| 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
| Bad_immediate_attribute
| Bad_unboxed_attribute of string
| Wrong_unboxed_type_float
| Boxed_and_unboxed
| Nonrec_gadt
exception Error of Location.t * error
val report_error: formatter -> error -> unit