blob: 5bdd02d3876e9d0318131a603b464a5691b02818 (
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
|
(***********************************************************************)
(* *)
(* Objective Caml *)
(* *)
(* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id$ *)
open Asttypes
open Types
open Typedtree
val class_declarations:
Env.t -> Parsetree.class_declaration list ->
(Ident.t * class_declaration *
Ident.t * cltype_declaration *
Ident.t * type_declaration *
Ident.t * type_declaration *
int * string list * class_expr) list * Env.t
val class_descriptions:
Env.t -> Parsetree.class_description list ->
(Ident.t * class_declaration *
Ident.t * cltype_declaration *
Ident.t * type_declaration *
Ident.t * type_declaration *
int * string list * class_type) list * Env.t
val class_type_declarations:
Env.t -> Parsetree.class_description list ->
(Ident.t * cltype_declaration *
Ident.t * type_declaration *
Ident.t * type_declaration) list * Env.t
type error =
Unconsistent_constraint of (type_expr * type_expr) list
| Method_type_mismatch of string * (type_expr * type_expr) list
| Structure_expected of class_type
| Cannot_apply of class_type
| Pattern_type_clash of type_expr
| Repeated_parameter
| Unbound_class of Longident.t
| Unbound_class_2 of Longident.t
| Unbound_class_type 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 * 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 (unit -> unit) * Ctype.closed_class_failure
| Make_nongen_seltype of type_expr
| Non_generalizable_class of Ident.t * Types.class_declaration
exception Error of Location.t * error
val report_error : error -> unit
|
