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/branches/gatien-branch/compiler/Elaborator/srcinfo/ens_var.sig
ViewVC logotype

Annotation of /sml/branches/gatien-branch/compiler/Elaborator/srcinfo/ens_var.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3090 - (view) (download) (as text)

1 : dbm 3076 (* ens_var.sig *)
2 :    
3 :     (* ENS short for ensemble *)
4 :     signature ENS_VAR = sig
5 :    
6 : dbm 3089 val debugging : bool ref
7 :    
8 : gatien 3087 val add_var_def : VarCon.var -> int*int -> unit
9 :     val add_var_use : VarCon.var -> int*int -> unit
10 :     val add_var_inst : Types.ty -> Access.access -> unit
11 :    
12 :     val add_type_def : Types.tycon -> int * int -> unit
13 :     val add_type_use : Types.ty -> int * int -> unit
14 :     val add_cons_use : Types.datacon -> int * int -> unit
15 :     val add_cons_inst : Types.datacon -> Types.ty -> unit
16 :    
17 :     val add_str_use : Modules.Structure -> int * int -> unit
18 :     val add_mapping : Access.access -> int -> Access.access -> unit
19 :     val add_str_def : Modules.Structure -> int * int -> Access.access -> unit
20 :     val add_str_bnd : Modules.Structure -> Access.access -> Access.access ->
21 :     int * int -> unit
22 : dbm 3076
23 : gatien 3087 val add_sig_def : Modules.Signature -> int * int -> unit
24 :     val add_sig_use : Symbol.symbol -> Modules.Signature -> int * int -> unit
25 :     val add_sig_alias : Symbol.symbol -> Modules.Signature -> int * int -> unit
26 :    
27 :     val print_var : unit -> unit
28 :     val print_types : unit -> unit
29 :     val print_cons : unit -> unit
30 :     val print_str : unit -> unit
31 :     val print_sig : unit -> unit
32 :     val print_all : unit -> unit
33 :     val print_ext : unit -> unit
34 :    
35 :     val change_access_var : Access.access -> Access.access -> unit
36 :     val change_access_str : Access.access -> Access.access -> unit
37 :    
38 :     val set_source : string -> unit
39 :     val set_eri : (Symbol.symbol -> string option) -> unit
40 :     val set_pid : (PersStamps.persstamp -> unit)
41 :     val add_lvar_ext : Access.access -> Access.access -> unit
42 :     val clear : unit -> unit
43 : dbm 3076
44 : gatien 3090 val give_all : unit -> Ens_types.all
45 : dbm 3076
46 : gatien 3087 end (* signature ENS_VAR*)

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