Annotation of researchv10no/cmd/sml/src/basics/access.sig, revision 1.1.1.1

1.1       root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
                      2: (* access.sig *)
                      3: 
                      4: signature ACCESS = sig
                      5: 
                      6:   structure Symbol : SYMBOL
                      7:   structure P : PRIMOP
                      8:   type primop
                      9:   eqtype lvar  (* lambda variable id *)
                     10:   type slot  (* position in structure record *)
                     11:   type path  (* slot chain relative to lambda variable *)
                     12: 
                     13:   datatype access 
                     14:     = LVAR of lvar
                     15:     | SLOT of slot
                     16:     | PATH of path  
                     17:     | INLINE of primop
                     18:   
                     19:   val mkLvar : unit -> lvar
                     20:   val sameName : lvar * lvar -> unit
                     21:   val dupLvar : lvar -> lvar
                     22:   val namedLvar : Symbol.symbol -> lvar
                     23:   val lvarName : lvar -> string
                     24:   val saveLvarNames : bool ref
                     25: 
                     26:   val pr_lvar: lvar-> string   
                     27:   and pr_slot: slot -> string
                     28:   and pr_path: path-> string
                     29:   and pr_access: access-> string
                     30: 
                     31: end (* signature ACCESS *)

unix.superglobalmegacorp.com

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