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

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/common/strand-util.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/common/strand-util.sml

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

revision 2075, Sat Nov 3 13:27:02 2012 UTC revision 2076, Sun Nov 4 22:10:56 2012 UTC
# Line 21  Line 21 
21      datatype program_prop      datatype program_prop
22        = StrandsMayDie                   (* present if strands may die *)        = StrandsMayDie                   (* present if strands may die *)
23        | NewStrands                      (* present if new strands may be created dynamically *)        | NewStrands                      (* present if new strands may be created dynamically *)
24        | StrandCommunication             (* present is strands read the state of other strands *)        | StrandCommunication             (* present if strands read the state of other strands *)
25          | GlobalReduce                    (* present if there is a global reduce phase *)
26    
27      fun propToString StrandsMayDie = "StrandsMayDie"      fun propToString StrandsMayDie = "StrandsMayDie"
28        | propToString NewStrands = "NewStrands"        | propToString NewStrands = "NewStrands"
29        | propToString StrandCommunication = "StrandCommunication"        | propToString StrandCommunication = "StrandCommunication"
30          | propToString GlobalReduce = "GlobalReduce"
31    
32      fun hasProp (prop : program_prop) = List.exists (fn p => prop = p)      fun hasProp (prop : program_prop) = List.exists (fn p => prop = p)
33    

Legend:
Removed from v.2075  
changed lines
  Added in v.2076

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