Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/idlbasis-devel/src/MLRISC/Tools/MatchCompiler/match-compiler.sml
ViewVC logotype

Diff of /sml/branches/idlbasis-devel/src/MLRISC/Tools/MatchCompiler/match-compiler.sml

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

revision 1231, Mon Jun 3 18:32:08 2002 UTC revision 1232, Tue Jun 4 21:11:15 2002 UTC
# Line 1138  Line 1138 
1138                      let val (s, h) = visit(x, PVs)                      let val (s, h) = visit(x, PVs)
1139                          val s  = add(s, PVAR p)                          val s  = add(s, PVAR p)
1140                          val bs = foldr (fn ((p,_),S) => add(S,PVAR p)) s bs                          val bs = foldr (fn ((p,_),S) => add(S,PVAR p)) s bs
1141                            val fvs = diff(s, bs)
1142                      in  occurs bs;                      in  occurs bs;
1143                          (set(freeVars, s), setH(height,h+1))                          (set(freeVars, fvs), setH(height,h+1))
1144                      end                      end
1145                    | CONT(k, x) =>                    | CONT(k, x) =>
1146                      let val (s, h) = visit(x, PVs)                      let val (s, h) = visit(x, PVs)

Legend:
Removed from v.1231  
changed lines
  Added in v.1232

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