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 249 - (download) (as text) (annotate)
Sat Apr 17 18:57:03 1999 UTC (21 years, 5 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/Semant/basics/access.sig
File size: 1131 byte(s)
version 110.16
(* 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 *)



(*
 * $Log$
 *)

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