/usr/lib/ocaml/compiler-libs/typing/typeclass.mli is in ocaml-compiler-libs 3.12.1-2ubuntu2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | (***********************************************************************)
(* *)
(* Objective Caml *)
(* *)
(* 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. *)
(* *)
(***********************************************************************)
(* $Id: typeclass.mli 10422 2010-05-18 17:25:02Z frisch $ *)
open Asttypes
open Types
open Typedtree
open Format
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
val approx_class_declarations:
Env.t -> Parsetree.class_description list ->
(Ident.t * cltype_declaration *
Ident.t * type_declaration *
Ident.t * type_declaration) list
val virtual_methods: Types.class_signature -> label list
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 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 * 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
exception Error of Location.t * error
val report_error : formatter -> error -> unit
|