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 3410, Thu Nov 12 02:57:49 2015 UTC revision 3413, Thu Nov 12 15:21:54 2015 UTC
# Line 32  Line 32 
32                   of SOME stm => SOME(CheckStmt.check(E.updateScope env, cxt, stm))                   of SOME stm => SOME(CheckStmt.check(E.updateScope env, cxt, stm))
33                    | NONE => NONE                    | NONE => NONE
34                  (* end case *))                  (* end case *))
35            in            val prog = AST.Program{
             AST.Program{  
36                  props = E.properties env,                  props = E.properties env,
37                  const_dcls = const_dcls,                  const_dcls = const_dcls,
38                  input_dcls = input_dcls,                  input_dcls = input_dcls,
# Line 43  Line 42 
42                  create = create',                  create = create',
43                  update = update'                  update = update'
44                }                }
45  (* TODO: uninitialized and unused variable check *)            in
46                CheckVarUses.check (cxt, prog);
47                prog
48            end            end
49    
50    end    end

Legend:
Removed from v.3410  
changed lines
  Added in v.3413

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