Source

ocaml / bytecomp / bytelink.mli

xleroy 2f98bf9 

doligez 6cd742a 
xleroy 2f98bf9 


xleroy 11d8fff 
xleroy 06a1e11 

xleroy 2f98bf9 




xleroy 41f41b5 

frisch 0ea1f93 
xleroy 41f41b5 
frisch 0ea1f93 
xleroy 41f41b5 
xleroy 67c198b 

xleroy 41f41b5 


meyer 9684190 
xleroy 41f41b5 


xleroy 40701f9 
xleroy 9eaedc5 
xleroy 41f41b5 


weis fb2bdfa 

(***********************************************************************)
(*                                                                     *)
(*                                OCaml                                *)
(*                                                                     *)
(*            Xavier Leroy, 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$ *)

(* Link .cmo files and produce a bytecode executable. *)

val link : Format.formatter -> string list -> string -> unit

val check_consistency: Format.formatter -> string -> Cmo_format.compilation_unit -> unit

val extract_crc_interfaces: unit -> (string * Digest.t) list

type error =
    File_not_found of string
  | Not_an_object_file of string
  | Wrong_object_name of string
  | Symbol_error of string * Symtable.error
  | Inconsistent_import of string * string * string
  | Custom_runtime
  | File_exists of string
  | Cannot_open_dll of string

exception Error of error

open Format

val report_error: formatter -> error -> unit