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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/IL/exit-kind.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/IL/exit-kind.sml

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

revision 1156, Sun May 8 21:20:52 2011 UTC revision 1157, Mon May 9 15:47:35 2011 UTC
# Line 13  Line 13 
13      datatype kind      datatype kind
14        = FRAGMENT                (* exit node in a CFG fragment that is going to be embedded in *)        = FRAGMENT                (* exit node in a CFG fragment that is going to be embedded in *)
15                                  (* other code *)                                  (* other code *)
16          | SINIT                   (* strand initialization *)
17        | RETURN                  (* return from function/method *)        | RETURN                  (* return from function/method *)
18        | ACTIVE                  (* normal return from update method *)        | ACTIVE                  (* normal return from update method *)
19        | STABILIZE               (* stabilize in update method *)        | STABILIZE               (* stabilize in update method *)
20        | DIE                     (* die in update method *)        | DIE                     (* die in update method *)
21    
22      fun toString FRAGMENT = "FRAGMENT"      fun toString FRAGMENT = "FRAGMENT"
23          | toString SINIT = "SINIT"
24        | toString RETURN = "RETURN"        | toString RETURN = "RETURN"
25        | toString ACTIVE = "ACTIVE"        | toString ACTIVE = "ACTIVE"
26        | toString STABILIZE = "STABILIZE"        | toString STABILIZE = "STABILIZE"

Legend:
Removed from v.1156  
changed lines
  Added in v.1157

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