bytecomp/translmod.mli

   1 (***********************************************************************)
   2 (*                                                                     *)
   3 (*                           Objective Caml                            *)
   4 (*                                                                     *)
   5 (*            Xavier Leroy, 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$ *)
  14
  15 (* Translation from typed abstract syntax to lambda terms,
  16    for the module language *)
  17
  18 open Typedtree
  19 open Lambda
  20
  21 val transl_implementation: string -> structure * module_coercion -> lambda
  22 val transl_store_implementation:
  23       string -> structure * module_coercion -> int * lambda
  24 val transl_toplevel_definition: structure -> lambda
  25 val transl_package:
  26       Ident.t option list -> Ident.t -> module_coercion -> lambda
  27 val transl_store_package:
  28       Ident.t option list -> Ident.t -> module_coercion -> int * lambda
  29
  30 val toplevel_name: Ident.t -> string
  31
  32 val primitive_declarations: string list ref
  33
  34 type error =
  35   Circular_dependency of Ident.t
  36
  37 exception Error of Location.t * error
  38
  39 val report_error: Format.formatter -> error -> unit