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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 418 - (view) (download) (as text)
Original Path: sml/branches/SMLNJ/src/compiler/Semant/basics/access.sig

1 : monnier 249 (* Copyright 1996 by AT&T Bell Laboratories *)
2 :     (* access.sig *)
3 :    
4 :     signature ACCESS = sig
5 :    
6 :     type lvar = LambdaVar.lvar
7 :    
8 :     datatype access
9 :     = LVAR of lvar
10 :     | EXTERN of PersStamps.persstamp
11 :     | PATH of access * int
12 :     | NO_ACCESS
13 :    
14 :     datatype conrep
15 :     = UNTAGGED
16 :     | TAGGED of int
17 :     | TRANSPARENT
18 :     | CONSTANT of int
19 :     | REF
20 :     | EXN of access
21 :     | SUSP of (access * access) option
22 :     | LISTCONS
23 :     | LISTNIL
24 :    
25 :     datatype consig
26 :     = CSIG of int * int
27 :     | CNIL
28 :    
29 :     val prAcc : access -> string
30 :     val prRep : conrep -> string
31 :     val prCsig : consig -> string
32 :     val isExn : conrep -> bool
33 :    
34 :     val selAcc : access * int -> access
35 :     val dupAcc : lvar * (Symbol.symbol option -> lvar) -> access
36 :    
37 :     val namedAcc : Symbol.symbol * (Symbol.symbol option -> lvar)
38 :     -> access
39 :    
40 :     val newAcc : (Symbol.symbol option -> lvar) -> access
41 :    
42 :     val extAcc : PersStamps.persstamp -> access
43 :     val nullAcc : access
44 :    
45 :     val accLvar : access -> lvar option
46 :    
47 :     end (* signature ACCESS *)
48 :    
49 :    
50 :    

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