Parent Directory
| 
Revision Log
[r2003-10-04 02:00:15 by cvscast] Compilation + serialization Original author: cvscast Date: 2003-10-04 02:01:37+00:00
| 1 | open Ident |
| 2 | open Lambda |
| 3 | |
| 4 | type env |
| 5 | val empty : env |
| 6 | val enter_global : env -> id -> env |
| 7 | val enter_globals : env -> id list -> env |
| 8 | val find : id -> env -> var_loc |
| 9 | |
| 10 | val compile_eval : env -> Typed.texpr -> code_item |
| 11 | val compile_let_decl : env -> Typed.let_decl -> env * code_item |
| 12 | val compile_rec_funs : env -> Typed.texpr list -> env * code_item |
| 13 | |
| 14 | |
| 15 | val comp_unit: |
| 16 | Typer.t -> env -> |
| 17 | Ast.pmodule_item list -> Typer.t * env * Lambda.code_item list |
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |