Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/compiler/Semant/basics/access.sig
ViewVC logotype

View of /sml/trunk/src/compiler/Semant/basics/access.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 419 - (download) (as text) (annotate)
Fri Sep 3 23:51:27 1999 UTC (21 years ago) by monnier
File size: 1115 byte(s)
This commit was generated by cvs2svn to compensate for changes in r418,
which included commits to RCS files with non-trunk default branches.
(* Copyright 1996 by AT&T Bell Laboratories *)
(* access.sig *)

signature ACCESS = sig

type lvar = LambdaVar.lvar

datatype access
  = LVAR of lvar
  | EXTERN of PersStamps.persstamp
  | PATH of access * int
  | NO_ACCESS

datatype conrep
  = UNTAGGED                             
  | TAGGED of int                        
  | TRANSPARENT                          
  | CONSTANT of int                      
  | REF                                  
  | EXN of access
  | SUSP of (access * access) option
  | LISTCONS                              
  | LISTNIL

datatype consig 
  = CSIG of int * int
  | CNIL

val prAcc   : access -> string
val prRep   : conrep -> string
val prCsig  : consig -> string
val isExn   : conrep -> bool

val selAcc  : access * int -> access
val dupAcc  : lvar * (Symbol.symbol option -> lvar) -> access

val namedAcc : Symbol.symbol * (Symbol.symbol option -> lvar) 
                 -> access

val newAcc  : (Symbol.symbol option -> lvar) -> access

val extAcc  : PersStamps.persstamp -> access
val nullAcc : access

val accLvar : access -> lvar option

end (* signature ACCESS *)




root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0