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/Elaborator/print/ppmod.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/Elaborator/print/ppmod.sml

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

revision 3345, Fri May 15 15:05:51 2009 UTC revision 3348, Fri May 15 16:48:04 2009 UTC
# Line 890  Line 890 
890            (pps ppstrm "FE.V:"; ppEntPath ppstrm ep)            (pps ppstrm "FE.V:"; ppEntPath ppstrm ep)
891         | M.CONSTfct { rpath, ... } =>         | M.CONSTfct { rpath, ... } =>
892            (pps ppstrm "FE.C:"; ppInvPath ppstrm rpath)            (pps ppstrm "FE.C:"; ppInvPath ppstrm rpath)
893         | M.LAMBDA {param, primaries, paramRlzn, body} =>         | M.LAMBDA {param, primaries, body} =>
894            (openHVBox ppstrm (PP.Rel 0);            (openHVBox ppstrm (PP.Rel 0);
895              pps ppstrm "FE.L:"; break ppstrm {nsp=1,offset=1};              pps ppstrm "FE.L:"; break ppstrm {nsp=1,offset=1};
896              openHVBox ppstrm (PP.Rel 0);              openHVBox ppstrm (PP.Rel 0);
897               pps ppstrm "par:"; ppEntVar ppstrm param;               pps ppstrm "par:"; ppEntVar ppstrm param;
898               break ppstrm {nsp=1,offset=0};               break ppstrm {nsp=1,offset=0};
899               pps ppstrm "parents:";  (*           pps ppstrm "parents:";
900               ppStrEntity ppstrm (paramRlzn, SE.empty, depth-1);               ppStrEntity ppstrm (paramRlzn, SE.empty, depth-1);
901               break ppstrm {nsp=1,offset=0};               break ppstrm {nsp=1,offset=0}; *)
902               pps ppstrm "bod:"; ppStrExp ppstrm (body, depth-1);               pps ppstrm "bod:"; ppStrExp ppstrm (body, depth-1);
903              closeBox ppstrm;              closeBox ppstrm;
904             closeBox ppstrm)             closeBox ppstrm)

Legend:
Removed from v.3345  
changed lines
  Added in v.3348

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