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 567, Thu Feb 24 23:28:06 2011 UTC revision 624, Tue Mar 15 21:23:04 2011 UTC
# Line 11  Line 11 
11    struct    struct
12    
13      datatype kind      datatype kind
14        = RETURN                  (* return from function/method *)        = FRAGMENT                (* exit node in a CFG fragment that is going to be embedded in *)
15                                    (* other code *)
16          | 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    
21      fun toString RETURN = "RETURN"      fun toString FRAGMENT = "FRAGMENT"
22          | 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.567  
changed lines
  Added in v.624

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