]> rtime.felk.cvut.cz Git - l4.git/blob - l4/pkg/ocaml/contrib/bytecomp/translclass.mli
Inital import
[l4.git] / l4 / pkg / ocaml / contrib / bytecomp / translclass.mli
1 (***********************************************************************)
2 (*                                                                     *)
3 (*                           Objective Caml                            *)
4 (*                                                                     *)
5 (*         Jerome Vouillon, projet Cristal, INRIA Rocquencourt         *)
6 (*                                                                     *)
7 (*  Copyright 1996 Institut National de Recherche en Informatique et   *)
8 (*  en Automatique.  All rights reserved.  This file is distributed    *)
9 (*  under the terms of the Q Public License version 1.0.               *)
10 (*                                                                     *)
11 (***********************************************************************)
12
13 (* $Id: translclass.mli 7372 2006-04-05 02:28:13Z garrigue $ *)
14
15 open Typedtree
16 open Lambda
17
18 val transl_class :
19   Ident.t list -> Ident.t ->
20   int -> string list -> class_expr -> Asttypes.virtual_flag -> lambda;;
21
22 type error = Illegal_class_expr | Tags of string * string
23
24 exception Error of Location.t * error
25
26 open Format
27
28 val report_error: formatter -> error -> unit