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-var-uses.sml
ViewVC logotype

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

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

revision 4479, Thu Sep 1 13:48:18 2016 UTC revision 4480, Thu Sep 1 14:39:27 2016 UTC
# Line 159  Line 159 
159                    | AST.S_Assign(x, e) =>                    | AST.S_Assign(x, e) =>
160                        (VSet.subtract(undef, #1 x), chkExpr (cxt, e, undef, unused), bound)                        (VSet.subtract(undef, #1 x), chkExpr (cxt, e, undef, unused), bound)
161                    | AST.S_New(_, args) => (undef, chkExps (args, undef, unused), bound)                    | AST.S_New(_, args) => (undef, chkExps (args, undef, unused), bound)
162                      | AST.S_StabilizeAll => (undef, unused, bound)
163                    | AST.S_Continue => (undef, unused, bound)                    | AST.S_Continue => (undef, unused, bound)
164                    | AST.S_Die => (undef, unused, bound)                    | AST.S_Die => (undef, unused, bound)
165                    | AST.S_Stabilize => (undef, unused, bound)                    | AST.S_Stabilize => (undef, unused, bound)

Legend:
Removed from v.4479  
changed lines
  Added in v.4480

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