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

SCM Repository

[diderot] Diff of /trunk/src/compiler/typechecker/typechecker.sml
ViewVC logotype

Diff of /trunk/src/compiler/typechecker/typechecker.sml

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

revision 228, Wed Aug 4 13:36:35 2010 UTC revision 235, Thu Aug 5 21:57:46 2010 UTC
# Line 367  Line 367 
367                  end                  end
368              | PT.S_Die => (              | PT.S_Die => (
369                  case #scope env                  case #scope env
370                   of ActorScope => ()                   of MethodScope => ()
371                    | _ => err(cxt, [S "\"die\" statment outside of actor body"])                    | _ => err(cxt, [S "\"die\" statment outside of method"])
372                  (* end case *);                  (* end case *);
373                  (AST.S_Die, env))                  (AST.S_Die, env))
374              | PT.S_Stabilize => (              | PT.S_Stabilize => (
375                  case #scope env                  case #scope env
376                   of ActorScope => ()                   of MethodScope => ()
377                    | _ => err(cxt, [S "\"stabilize\" statment outside of actor body"])                    | _ => err(cxt, [S "\"stabilize\" statment outside of method"])
378                  (* end case *);                  (* end case *);
379                  (AST.S_Stabilize, env))                  (AST.S_Stabilize, env))
380            (* end case *))            (* end case *))

Legend:
Removed from v.228  
changed lines
  Added in v.235

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