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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/typechecker/check-stmt.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/typechecker/check-stmt.sml

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

revision 4623, Sat Sep 24 13:42:51 2016 UTC revision 4624, Sat Sep 24 19:24:23 2016 UTC
# Line 217  Line 217 
217                    case scope                    case scope
218                     of E.MethodScope(_, StrandUtil.Start) => chkDie ()                     of E.MethodScope(_, StrandUtil.Start) => chkDie ()
219                      | E.MethodScope(_, StrandUtil.Update) => chkDie ()                      | E.MethodScope(_, StrandUtil.Update) => chkDie ()
220                      | E.StartScope => false (* global stabilize_all; _not_ an exit *)                      | E.StartScope => false (* global kill_all; _not_ an exit *)
221                      | E.UpdateScope => false (* global stabilize_all; _not_ an exit *)                      | E.UpdateScope => false (* global kill_all; _not_ an exit *)
222                      | _ => (err(cxt, [                      | _ => (err(cxt, [
223                            S "\"die\" statment outside of start/update method/block"                            S "\"die\" statment outside of start/update method/block"
224                          ]);                          ]);

Legend:
Removed from v.4623  
changed lines
  Added in v.4624

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