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

SCM Repository

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

Diff of /trunk/src/compiler/common/strand-util.sml

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

revision 2355, Sun Apr 7 11:35:08 2013 UTC revision 2356, Sun Apr 7 14:45:25 2013 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.2355  
changed lines
  Added in v.2356

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