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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/common/properties.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/common/properties.sml

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

revision 3957, Sun Jun 12 16:49:42 2016 UTC revision 3958, Sun Jun 12 19:51:51 2016 UTC
# Line 15  Line 15 
15      datatype t      datatype t
16        = HasGlobals                      (* present if the program has global variables *)        = HasGlobals                      (* present if the program has global variables *)
17        | HasInputs                       (* present if the program has input variables *)        | HasInputs                       (* present if the program has input variables *)
18        | StrandArray                     (* present if the strands are organized in a grid *)        | StrandGrid                      (* present if the strands are organized in a grid *)
19        | DynamicSeq                      (* present if strands compute dynamic sequences *)        | DynamicSeq                      (* present if strands compute dynamic sequences *)
20        | StrandsMayDie                   (* present if strands may die *)        | StrandsMayDie                   (* present if strands may die *)
21        | HasInitiallyMethod              (* present if there is a user-defined initially method *)        | HasInitiallyMethod              (* present if there is a user-defined initially method *)
# Line 29  Line 29 
29    
30      fun toString HasGlobals = "HasGlobals"      fun toString HasGlobals = "HasGlobals"
31        | toString HasInputs = "HasInputs"        | toString HasInputs = "HasInputs"
32        | toString StrandArray = "StrandArray"        | toString StrandGrid = "StrandGrid"
33        | toString DynamicSeq = "DynamicSeq"        | toString DynamicSeq = "DynamicSeq"
34        | toString StrandsMayDie = "StrandsMayDie"        | toString StrandsMayDie = "StrandsMayDie"
35        | toString HasInitiallyMethod = "HasInitiallyMethod"        | toString HasInitiallyMethod = "HasInitiallyMethod"

Legend:
Removed from v.3957  
changed lines
  Added in v.3958

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