Return to moduleComp.sig CVS log

Up to [Research Unix] / researchv10no / cmd / sml / src / sepcomp

Annotation of researchv10no/cmd/sml/src/sepcomp/moduleComp.sig, revision 1.1.1.1

1.1       root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
                      2: (* Modules compiler for New Jersey ML.   Nick Rothwell, LFCS, January 1989. *)
                      3: 
                      4: (* Generic signature to encompass the current slot-based representation, as well
                      5:    as the still-to-be-written lambda-based representation. *)
                      6: 
                      7: signature MODULE_COMPILER =
                      8:    sig
                      9:        type lvar sharing type lvar = int
                     10: 
                     11:        structure Absyn: BAREABSYN
                     12:          sharing Absyn = BareAbsyn
                     13:                                (* Needed because Translate is hard-wired. *)
                     14: 
                     15:        structure Lambda: LAMBDA
                     16: 
                     17:        type LambDynModule      (* Dynamic module with lambdas, lvars, etc. *)
                     18:        type CodeDynModule      (* Compiled (native code) module - no lvars. *)
                     19: 
                     20:        val emptyDynModule: LambDynModule       (* Starting state. *)
                     21: 
                     22:        exception AddDeclaration
                     23:        val addDeclaration: Absyn.dec * lvar list * LambDynModule -> LambDynModule
                     24: 
                     25:        val abstractDynModule: CodeDynModule * lvar list -> LambDynModule
                     26:                (* abstractDynModule takes a compiled module (presumably from an
                     27:                   "import"), and returns a lambda-based module with the code
                     28:                   module treated as an argument. We attach the lvars to the code
                     29:                   module, to allow reference from declarations below the
                     30:                   "import". *)
                     31: 
                     32:        exception CompileDynModule
                     33:        val compileDynModule:
                     34:          (Lambda.lexp -> Lambda.lexp) -> LambDynModule -> CodeDynModule
                     35:                (* Close and fold down all the lambdas, generate code. Takes
                     36:                   a lambda-optimising function as argument. *)
                     37: 
                     38:        val executeDynModule: CodeDynModule ->
                     39:           (lvar -> System.Unsafe.object) -> System.Unsafe.object array
                     40:                (* Execute the module, given the lookup function
                     41:                   (which I'll use to get at true globals like the
                     42:                   pervasives). *)
                     43: 
                     44:        val importDynModule: (LambDynModule * LambDynModule) -> LambDynModule
                     45:                (* importDynModule takes a module state, and embeds it
                     46:                   into an enclosing module state. *)
                     47:    end;

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.