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

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.