Return to access.sig CVS log

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

researchv10 Norman

(* Copyright 1989 by AT&T Bell Laboratories *)
(* access.sig *)

signature ACCESS = sig

  structure Symbol : SYMBOL
  structure P : PRIMOP
  type primop
  eqtype lvar  (* lambda variable id *)
  type slot  (* position in structure record *)
  type path  (* slot chain relative to lambda variable *)

  datatype access 
    = LVAR of lvar
    | SLOT of slot
    | PATH of path  
    | INLINE of primop
  
  val mkLvar : unit -> lvar
  val sameName : lvar * lvar -> unit
  val dupLvar : lvar -> lvar
  val namedLvar : Symbol.symbol -> lvar
  val lvarName : lvar -> string
  val saveLvarNames : bool ref

  val pr_lvar: lvar-> string   
  and pr_slot: slot -> string
  and pr_path: path-> string
  and pr_access: access-> string

end (* signature ACCESS *)

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