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-2/src/compiler/FLINT/trans/translate.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/trans/translate.sml

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

revision 1967, Mon Jul 10 22:27:13 2006 UTC revision 1968, Tue Jul 11 15:10:15 2006 UTC
# Line 975  Line 975 
975                        then LET(v, mkVar(w, d), b)                        then LET(v, mkVar(w, d), b)
976                        else LET(v, mkPE(exp, d, btvs), b)                        else LET(v, mkPE(exp, d, btvs), b)
977                     end                     end
978                 | _ => LET(v, mkVar(w, d), b)                 | _ => LET(v, mkVar(w, d), b))
979                   (* when generalized variables = instantiation params *)                   (* when generalized variables = instantiation params *)
980    
981          | g (VB{pat=VARpat(V.VALvar{access=DA.LVAR v, ...}),          | g (VB{pat=VARpat(V.VALvar{access=DA.LVAR v, ...}),

Legend:
Removed from v.1967  
changed lines
  Added in v.1968

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