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 4348, Tue Aug 2 15:48:33 2016 UTC revision 4349, Tue Aug 2 18:14:48 2016 UTC
# Line 103  Line 103 
103      fun chkCtlFlow (cxt, scope, stm) = let      fun chkCtlFlow (cxt, scope, stm) = let
104            val (inFun, inCreateOrUpdate, funName) = (case scope            val (inFun, inCreateOrUpdate, funName) = (case scope
105                   of E.FunctionScope(_, f) => (true, false, Atom.toString f)                   of E.FunctionScope(_, f) => (true, false, Atom.toString f)
106                    | E.MethodScope StrandUtil.Initially => (false, true, "")                    | E.MethodScope(_, StrandUtil.Initially) => (false, true, "")
107                    | E.MethodScope StrandUtil.Update => (false, true, "")                    | E.MethodScope(_, StrandUtil.Update) => (false, true, "")
108                    | E.CreateScope => (false, true, "")                    | E.CreateScope => (false, true, "")
109                    | _ => (false, false, "")                    | _ => (false, false, "")
110                  (* end case *))                  (* end case *))

Legend:
Removed from v.4348  
changed lines
  Added in v.4349

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