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

SCM Repository

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

Diff of /branches/vis15/src/compiler/typechecker/typechecker.sml

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

revision 3431, Sat Nov 14 14:03:58 2015 UTC revision 3432, Sun Nov 15 14:42:04 2015 UTC
# Line 22  Line 22 
22            val env = E.new()            val env = E.new()
23            val {const_dcls, input_dcls, other_dcls, env} =            val {const_dcls, input_dcls, other_dcls, env} =
24                  CheckGlobals.check (env, cxt, globals)                  CheckGlobals.check (env, cxt, globals)
25            val init' = (case update            val init' = (case init
26                   of SOME stm => SOME(CheckStmt.check(E.initScope env, cxt, stm))                   of SOME stm => (
27                          E.recordProp (env, Properties.GlobalInit);
28                          SOME(CheckStmt.check(E.initScope env, cxt, stm)))
29                    | NONE => NONE                    | NONE => NONE
30                  (* end case *))                  (* end case *))
31            val (strand', env) = CheckStrand.check (env, cxt, strand)            val (strand', env) = CheckStrand.check (env, cxt, strand)
32            val create' = CheckCreate.check (env, cxt, create)            val create' = CheckCreate.check (env, cxt, create)
33            val update' = (case update            val update' = (case update
34                   of SOME stm => SOME(CheckStmt.check(E.updateScope env, cxt, stm))                   of SOME stm => (
35                          E.recordProp(env, Properties.GlobalUpdate);
36                          SOME(CheckStmt.check(E.updateScope env, cxt, stm)))
37                    | NONE => NONE                    | NONE => NONE
38                  (* end case *))                  (* end case *))
39            val prog = AST.Program{            val prog = AST.Program{

Legend:
Removed from v.3431  
changed lines
  Added in v.3432

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