Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/codegen/target-sig.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/codegen/target-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 543, Wed Feb 16 16:20:59 2011 UTC revision 544, Wed Feb 16 23:14:14 2011 UTC
# Line 40  Line 40 
40    (* register the global initialization part of a program *)    (* register the global initialization part of a program *)
41      val globalInit : program * stm -> unit      val globalInit : program * stm -> unit
42    
     val defineStrand : program * string -> strand  
   
43      structure Var : sig      structure Var : sig
44          val global : program * ty * string -> var          val global : program * ty * string -> var
45            val param : ty * string -> var
46          val state : strand * ty * string -> var          val state : strand * ty * string -> var
47            val var : ty * string -> var
48          val tmp : ty -> var          val tmp : ty -> var
49        end        end
50    
# Line 124  Line 124 
124          val stabilize : unit -> stm          val stabilize : unit -> stm
125        end        end
126    
127      (* strands *)
128        structure Strand : sig
129          (* define a strand with the given name *)
130            val define : program * string -> strand
131    
132          (* register the strand-state initialization code.  The variables are the strand
133           * parameters.
134           *)
135            val init : strand * var list * stm -> unit
136          end
137    
138    end    end

Legend:
Removed from v.543  
changed lines
  Added in v.544

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