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 4437, Sat Aug 20 12:37:37 2016 UTC revision 4438, Sat Aug 20 13:30:33 2016 UTC
# Line 197  Line 197 
197            val bound = params            val bound = params
198            val unused = VSet.addList (unused, params)            val unused = VSet.addList (unused, params)
199          (* process the state variables *)          (* process the state variables *)
200  (* FIXME: if spatialDim is not NONE, the "pos" is implicitly used! *)  (* FIXME: if spatialDim is not NONE, then "pos" is implicitly used! *)
201            val (undef, unused, bound, outputs) =            val (undef, unused, bound, outputs) =
202                  List.foldl chkVarDecl (undef, unused, bound, []) state                  List.foldl chkVarDecl (undef, unused, bound, []) state
203          (* check the state initialization block (if present) *)          (* check the state initialization block (if present) *)

Legend:
Removed from v.4437  
changed lines
  Added in v.4438

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