blob: d213221a84230e32a17c8658d4c8dcaadca929b8 (
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
99
100
101
102
103
104
105
106
107
108
109
110
111
|
(***********************************************************************)
(* *)
(* OCaml *)
(* *)
(* 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. *)
(* *)
(***********************************************************************)
open Asttypes
open Types
open Format
val class_declarations:
Env.t -> Parsetree.class_declaration list ->
(Ident.t * string loc * class_declaration *
Ident.t * class_type_declaration *
Ident.t * type_declaration *
Ident.t * type_declaration *
int * string list * Typedtree.class_declaration) list * Env.t
(*
and class_declaration =
(class_expr, Types.class_declaration) class_infos
*)
val class_descriptions:
Env.t -> Parsetree.class_description list ->
(Ident.t * string loc * class_declaration *
Ident.t * class_type_declaration *
Ident.t * type_declaration *
Ident.t * type_declaration *
int * string list * Typedtree.class_description) list * Env.t
(*
and class_description =
(class_type, unit) class_infos
*)
val class_type_declarations:
Env.t -> Parsetree.class_description list ->
(Ident.t * string loc * class_type_declaration *
Ident.t * type_declaration *
Ident.t * type_declaration *
Typedtree.class_type_declaration) list * Env.t
(*
and class_type_declaration =
(class_type, Types.class_type_declaration) class_infos
*)
val approx_class_declarations:
Env.t -> Parsetree.class_description list ->
(Ident.t * string loc * class_type_declaration *
Ident.t * type_declaration *
Ident.t * type_declaration *
Typedtree.class_type_declaration) list
val virtual_methods: Types.class_signature -> label list
(*
val type_classes :
bool ->
('a -> Types.type_expr) ->
(Env.t -> 'a -> 'b * Types.class_type) ->
Env.t ->
'a Parsetree.class_infos list ->
( Ident.t * Types.class_declaration *
Ident.t * Types.class_type_declaration *
Ident.t * Types.type_declaration *
Ident.t * Types.type_declaration *
int * string list * 'b * 'b Typedtree.class_infos)
list * Env.t
*)
type error =
Unconsistent_constraint of (type_expr * type_expr) list
| Field_type_mismatch of string * string * (type_expr * type_expr) list
| Structure_expected of class_type
| Cannot_apply of class_type
| Apply_wrong_label of arg_label
| Pattern_type_clash of type_expr
| Repeated_parameter
| Unbound_class_2 of Longident.t
| Unbound_class_type_2 of Longident.t
| Abbrev_type_clash of type_expr * type_expr * type_expr
| Constructor_type_mismatch of string * (type_expr * type_expr) list
| Virtual_class of bool * bool * string list * string list
| Parameter_arity_mismatch of Longident.t * int * int
| Parameter_mismatch of (type_expr * type_expr) list
| Bad_parameters of Ident.t * type_expr * type_expr
| Class_match_failure of Ctype.class_match_failure list
| Unbound_val of string
| Unbound_type_var of (formatter -> unit) * Ctype.closed_class_failure
| Make_nongen_seltype of type_expr
| Non_generalizable_class of Ident.t * Types.class_declaration
| Cannot_coerce_self of type_expr
| Non_collapsable_conjunction of
Ident.t * Types.class_declaration * (type_expr * type_expr) list
| Final_self_clash of (type_expr * type_expr) list
| Mutability_mismatch of string * mutable_flag
| No_overriding of string * string
| Duplicate of string * string
exception Error of Location.t * Env.t * error
exception Error_forward of Location.error
val report_error : Env.t -> formatter -> error -> unit
|
