Return to envaccess.sig CVS log

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

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

1.1     ! root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
        !             2: (* envaccess.sig *)
        !             3: 
        !             4: signature ENVACCESS = sig
        !             5: 
        !             6:     structure Access : ACCESS
        !             7:     structure Basics : BASICS
        !             8:     structure Env : ENV
        !             9: 
        !            10:     val openStructureVar : Basics.structureVar -> unit
        !            11: 
        !            12:     val lookTYCinTable : Basics.symtable * Basics.Symbol.symbol -> Basics.tycon ref
        !            13:     val lookTYCinStr : Basics.Structure * Basics.Symbol.symbol -> Basics.tycon ref
        !            14:     val lookTYC : Basics.Symbol.symbol -> Basics.tycon ref
        !            15:     val lookTYClocal : Basics.Symbol.symbol -> Basics.tycon ref
        !            16:     val bindTYC : Basics.Symbol.symbol * Basics.tycon ref -> Basics.binding
        !            17:     val lookArTYCinSig : int -> Basics.Symbol.symbol * int -> Basics.tycon ref
        !            18:     val lookArTYC : (Basics.Symbol.symbol * int -> Basics.tycon ref) ref
        !            19:     val lookPathArTYCinSig : int -> (Basics.Symbol.symbol list * int) ->
        !            20:                              Basics.tycon ref
        !            21:     val lookPathArTYC : (Basics.Symbol.symbol list * int -> Basics.tycon ref) ref
        !            22:     val protectDb : unit -> (unit -> unit) * (unit -> unit)
        !            23: 
        !            24:     val dconApplied: Basics.datacon * Env.info -> Basics.datacon
        !            25:     val lookCONinTable : Basics.symtable * Basics.Symbol.symbol -> Basics.datacon
        !            26:     val lookCON  : Basics.Symbol.symbol -> Basics.datacon
        !            27:     val lookCONlocal  : Basics.Symbol.symbol -> Basics.datacon
        !            28:     val lookCONinStr : Basics.Structure * Basics.Symbol.symbol * Access.path
        !            29:                       * Basics.Symbol.symbol list -> Basics.datacon
        !            30:     val bindCON : Basics.Symbol.symbol * Basics.datacon -> Basics.binding
        !            31: 
        !            32:     val unboundVAR : Basics.Symbol.symbol -> Basics.binding
        !            33:     val varApplied: Basics.var * Env.info * Basics.Symbol.symbol list -> Basics.var
        !            34:     val lookVARinTable : Basics.symtable * Basics.Symbol.symbol -> Basics.var
        !            35:     val lookVARCONinTable : Basics.symtable * Basics.Symbol.symbol -> Basics.binding
        !            36:     val lookVARCONinStr : Basics.Structure * Basics.Symbol.symbol * Access.path
        !            37:                          * Basics.Symbol.symbol list -> Basics.binding
        !            38:     val lookVARCON  : Basics.Symbol.symbol -> Basics.binding
        !            39:     val lookVARCONlocal : Basics.Symbol.symbol -> Basics.binding
        !            40: 
        !            41:     val getPatchVar : Basics.Symbol.symbol -> Basics.var ref
        !            42:     val protectPatchList : (unit -> Basics.var ref list) *
        !            43:                           (Basics.var ref list -> unit)
        !            44:     val checkBinding : (Basics.Symbol.symbol * Basics.var) -> unit 
        !            45:     val newVAR : (Basics.Symbol.symbol * Basics.var) list ref * Basics.Symbol.symbol ->
        !            46:                  Basics.var
        !            47:     val bindVAR : Basics.Symbol.symbol * Basics.var -> Basics.binding
        !            48:     val bindVARs : (Basics.Symbol.symbol * Basics.var) list -> unit
        !            49:     
        !            50:     val protectTyvars : Basics.tyvar list option ->
        !            51:                        (unit -> Basics.tyvar list) * (Basics.tyvar list -> unit)
        !            52:     val currentTyvars : unit -> Basics.tyvar list
        !            53:     val lookTyvar  : Basics.Symbol.symbol -> Basics.tyvar
        !            54: 
        !            55:     val looksLikeExn : Basics.Symbol.symbol -> bool
        !            56:     val unboundEXN : Basics.Symbol.symbol -> Basics.datacon
        !            57:     val lookEXNinStr : Basics.Structure * Basics.Symbol.symbol * Access.path
        !            58:                       * Basics.Symbol.symbol list -> Basics.datacon
        !            59: 
        !            60:     val lookSIG  : Basics.Symbol.symbol -> Basics.signatureVar
        !            61:     val bindSIG  : Basics.Symbol.symbol * Basics.signatureVar -> unit
        !            62: 
        !            63:     val strApplied: Basics.structureVar * Env.info * Basics.Symbol.symbol list
        !            64:                    -> Basics.structureVar
        !            65:     val lookSTRinTable : Basics.symtable * Basics.Symbol.symbol -> Basics.structureVar
        !            66:     val lookSTR0 : Basics.Symbol.symbol -> Basics.structureVar * Env.info
        !            67:     val lookSTR : Basics.Symbol.symbol -> Basics.structureVar
        !            68:     val lookSTRlocal : Basics.Symbol.symbol -> Basics.structureVar
        !            69:     val lookSTRinStr : Basics.Structure * Basics.Symbol.symbol * Access.path
        !            70:                       * Basics.Symbol.symbol list -> Basics.structureVar
        !            71:     val bindSTR : Basics.Symbol.symbol * Basics.structureVar -> Basics.binding
        !            72:     val bogusSTR: Basics.structureVar
        !            73: 
        !            74:     val lookFCT : Basics.Symbol.symbol -> Basics.functorVar
        !            75: 
        !            76:     val lookPathinStr: Basics.Structure * Access.path * Basics.Symbol.symbol list *
        !            77:          (Basics.Structure * Basics.Symbol.symbol * Access.path
        !            78:           * Basics.Symbol.symbol list -> 'a) -> 'a
        !            79:     val lookPath: Basics.Symbol.symbol list * 
        !            80:          (Basics.Structure * Basics.Symbol.symbol * Access.path
        !            81:           * Basics.Symbol.symbol list -> 'a) -> 'a
        !            82: 
        !            83:     val bindFCT : Basics.Symbol.symbol * Basics.functorVar -> unit
        !            84: 
        !            85:     val lookFIX : Basics.Symbol.symbol -> Basics.fixity
        !            86:     val bindFIX : Basics.Symbol.symbol * Basics.fixityVar -> Basics.binding
        !            87: 
        !            88:     val staleLvars : Env.env * Env.env -> int list
        !            89:     val reset : unit -> unit
        !            90: 
        !            91: end  (* signature ENVACCESS *)

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