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

SCM Repository

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

Diff of /branches/vis15/src/compiler/cfg-ir/exit-kind.sml

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

revision 3470, Mon Nov 30 17:51:33 2015 UTC revision 3505, Fri Dec 18 02:47:03 2015 UTC
# Line 13  Line 13 
13    struct    struct
14    
15      datatype kind      datatype kind
16        = FRAGMENT                (* exit node in a CFG fragment that is going to be embedded in *)        = RETURN                  (* return from function/method *)
                                 (* other code *)  
       | SINIT                   (* strand initialization *)  
       | RETURN                  (* return from function/method *)  
17        | ACTIVE                  (* normal return from update method *)        | ACTIVE                  (* normal return from update method *)
18        | STABILIZE               (* stabilize in update method *)        | STABILIZE               (* stabilize in update method *)
19        | DIE                     (* die in update method *)        | DIE                     (* die in update method *)
20        | UNREACHABLE             (* dummy exit node that is unreachable *)        | UNREACHABLE             (* dummy exit node that is unreachable *)
21    
22      fun toString FRAGMENT = "FRAGMENT"      fun toString RETURN = "RETURN"
       | toString SINIT = "SINIT"  
       | toString RETURN = "RETURN"  
23        | toString ACTIVE = "ACTIVE"        | toString ACTIVE = "ACTIVE"
24        | toString STABILIZE = "STABILIZE"        | toString STABILIZE = "STABILIZE"
25        | toString DIE = "DIE"        | toString DIE = "DIE"

Legend:
Removed from v.3470  
changed lines
  Added in v.3505

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