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/primop-branch-3/compiler/FLINT/opt/lift.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/FLINT/opt/lift.sml

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

revision 2388, Sat Apr 7 14:10:04 2007 UTC revision 2389, Mon Apr 9 17:03:21 2007 UTC
# Line 335  Line 335 
335                 val (v1', t, fvs, hd) = loopc env v1                 val (v1', t, fvs, hd) = loopc env v1
336                 val vls = map (loopc env) vs                 val vls = map (loopc env) vs
337                 val (vs', ts', fvs', hd') = foldr comb (nil, nil, nil, nil) vls                 val (vs', ts', fvs', hd') = foldr comb (nil, nil, nil, nil) vls
338                 val nt = #2(LE.ltd_fkfun t)                 val nt = #2(LE.ltd_fkfun t) handle LE.DeconExn => bug "loope"
339             in             in
340                 (APP(v1', vs'), nt, fvs@fvs', hd@hd')                 (APP(v1', vs'), nt, fvs@fvs', hd@hd')
341             end             end

Legend:
Removed from v.2388  
changed lines
  Added in v.2389

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