SCM Repository
Diff of /branches/pure-cfg/src/compiler/codegen/target-sig.sml
Parent Directory
|
Revision Log
|
Patch
revision 1031, Sun May 1 17:39:05 2011 UTC | revision 1032, Sun May 1 17:39:37 2011 UTC | |
---|---|---|
# | Line 37 | Line 37 |
37 | ||
38 | (* variables *) | (* variables *) |
39 | structure Var : sig | structure Var : sig |
40 | val global : program * TreeIL.var -> var (* global variables *) | val name : var -> string |
41 | val param : TreeIL.var -> var | val global : program * string * TreeIL.Ty.ty -> var (* global variables *) |
42 | val param : TreeIL.var -> var (* strand parameters *) | |
43 | val state : strand * TreeIL.var -> var (* strand state variables *) | val state : strand * TreeIL.var -> var (* strand state variables *) |
44 | end | end |
45 |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |