Return to importer.sig CVS log

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

Annotation of researchv10no/cmd/sml/src/sepcomp/importer.sig, revision 1.1

1.1     ! root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
        !             2: (* importer.sig: this is all the Interact functor needs from the import
        !             3:    mechanism. *)
        !             4: 
        !             5: signature IMPORTER =
        !             6:    sig
        !             7:       exception Import of string
        !             8:                        (* Raised for any sensible failure to import. *)
        !             9: 
        !            10:       type lvar sharing type lvar = Access.lvar
        !            11: 
        !            12:      (* We essentially have mutual recursion between Interact and Importer -
        !            13:         Interact needs to be able to import things, and Importer needs to
        !            14:        be able to implement a top-level loop. The ideal solution is to put
        !            15:        the functions bind, lookup, etc. into a common sub-module. The slightly
        !            16:        hacked solution, here, is to model the recursion by passing part of
        !            17:        Interact's environment (the functions) in a record to Importer. *)
        !            18: 
        !            19:       datatype ToplevelFns =
        !            20:          TOPLEVEL_FNS of {bind: lvar * System.Unsafe.object -> unit,
        !            21:                          lookup: lvar -> System.Unsafe.object,
        !            22:                          parse: Lex.lexer -> BareAbsyn.dec,
        !            23:                          getvars: BareAbsyn.dec -> lvar list,
        !            24:                          opt: Lambda.lexp -> Lambda.lexp
        !            25:                         }
        !            26: 
        !            27:       val getAndExecModule: string * Env.env * ToplevelFns -> unit
        !            28:    end

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