1 (***********************************************************************)
5 (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
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. *)
11 (***********************************************************************)
15 (* Translation from closed lambda to C-- *)
17 val compunit
: int -> Clambda.ulambda
-> Cmm.phrase list
19 val apply_function
: int -> Cmm.phrase
20 val send_function
: int -> Cmm.phrase
21 val curry_function
: int -> Cmm.phrase list
22 val entry_point
: string list
-> Cmm.phrase
23 val global_table
: string list
-> Cmm.phrase
24 val globals_map
: (string * string) list
-> Cmm.phrase
25 val frame_table
: string list
-> Cmm.phrase
26 val data_segment_table
: string list
-> Cmm.phrase
27 val code_segment_table
: string list
-> Cmm.phrase
28 val predef_exception
: string -> Cmm.phrase