Return to env.sig CVS log

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

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

1.1     ! root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
        !             2: (* env.sig *)
        !             3: 
        !             4: signature ENV =
        !             5: sig
        !             6:    (*  structure Intmap: TABLE
        !             7:        structure Basics: BASICS
        !             8:        sharing Intmap = Basics.Intmap *)
        !             9:   type binding (* = Basics.binding *)
        !            10:   type info (* = {path: int list,
        !            11:                   strenv: {s: Basics.Structure array, t: Basics.tycon array}} *)
        !            12:   type symtable (* = Basics.binding IntStrMap.intstrmap *)
        !            13:   type env
        !            14:   datatype 'a locality = LOCAL of 'a | GLOBAL of 'a
        !            15:   exception Unbound
        !            16:   exception Unboundrec
        !            17:   exception UnboundTable
        !            18:   val newTable : unit -> symtable
        !            19:   val appenv : (int * string * binding -> unit) -> env * env -> unit
        !            20:   val current : unit -> env
        !            21:   val openOld : info * symtable -> unit
        !            22:   val openNew : info * symtable -> unit
        !            23:   val openRec : unit -> unit
        !            24:   val openStr : unit -> unit
        !            25:   val closeStr : unit -> unit
        !            26:   val openScope : unit -> env
        !            27:   val resetEnv : env -> unit
        !            28:   val collectTable : ((int * string * binding) * info -> unit) -> unit
        !            29:   val splice : env * env -> unit
        !            30:   val add : int * string * binding -> unit
        !            31:   val lookEnv : env * (int * string) -> binding * info
        !            32:   val look : int * string -> binding * info
        !            33:   val lookStrLocal : int * string -> binding * info
        !            34:   val lookRec : int * string -> (binding * info) locality
        !            35:   val lookRecLocal : int * string -> binding * info
        !            36:   val commit : unit -> unit
        !            37:   val restore : unit -> unit
        !            38:   val previous : unit -> env
        !            39:   val consolidate : unit -> unit
        !            40:   val reset : unit -> unit
        !            41: 
        !            42:   val popModule: env -> Basics.symtable
        !            43: 
        !            44:   val closeCurrentNewEnv: unit -> env
        !            45: 
        !            46: end

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