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 2961, Mon Mar 24 02:55:01 2008 UTC revision 3006, Fri Apr 25 20:02:56 2008 UTC
# Line 569  Line 569 
569      end      end
570    
571  and ppFctEntity ppstrm (e, env, depth) =  and ppFctEntity ppstrm (e, env, depth) =
572      let val {stamp,paramEnts,closure,properties,rpath,stub} = e      let val {stamp,paramRlzn,bodyRlzn,closure,properties,rpath,stub} = e
573          val {openHVBox,openHOVBox,closeBox,pps,ppi,break,newline} = en_pp ppstrm          val {openHVBox,openHOVBox,closeBox,pps,ppi,break,newline} = en_pp ppstrm
574      in if depth <= 1      in if depth <= 1
575          then pps "<functor entity>"          then pps "<functor entity>"
# Line 583  Line 583 
583                  pps "stamp: ";                  pps "stamp: ";
584                  pps (Stamps.toShortString stamp);                  pps (Stamps.toShortString stamp);
585                  newline();                  newline();
586                  pps "paramEnts: ";                  pps "paramRlzn: ";
587                  break{nsp=1,offset=2};                  break{nsp=1,offset=2};
588                  ppEntityEnv ppstrm (paramEnts,env,depth-1);                  ppStrEntity ppstrm (paramRlzn,env,depth-1);
589                    newline();
590                    pps "bodyRlzn: ";
591                    break{nsp=1,offset=2};
592                    ppStrEntity ppstrm (bodyRlzn,env,depth-1);
593                  newline();                  newline();
594                  pps "closure:";                  pps "closure:";
595                  break{nsp=1,offset=2};                  break{nsp=1,offset=2};
# Line 888  Line 892 
892               pps ppstrm "bod:"; ppStrExp ppstrm (body, depth-1);               pps ppstrm "bod:"; ppStrExp ppstrm (body, depth-1);
893              closeBox ppstrm;              closeBox ppstrm;
894             closeBox ppstrm)             closeBox ppstrm)
895         | M.LAMBDA {param, paramEnts, body} =>         | M.LAMBDA {param, paramRlzn, body} =>
896            (openHVBox ppstrm (PP.Rel 0);            (openHVBox ppstrm (PP.Rel 0);
897              pps ppstrm "FE.L:"; break ppstrm {nsp=1,offset=1};              pps ppstrm "FE.L:"; break ppstrm {nsp=1,offset=1};
898              openHVBox ppstrm (PP.Rel 0);              openHVBox ppstrm (PP.Rel 0);
899               pps ppstrm "par:"; ppEntVar ppstrm param;               pps ppstrm "par:"; ppEntVar ppstrm param;
900               break ppstrm {nsp=1,offset=0};               break ppstrm {nsp=1,offset=0};
901               pps ppstrm "parents:";               pps ppstrm "parents:";
902               ppEntityEnv ppstrm (paramEnts, SE.empty, depth-1);               ppStrEntity ppstrm (paramRlzn, SE.empty, depth-1);
903               break ppstrm {nsp=1,offset=0};               break ppstrm {nsp=1,offset=0};
904               pps ppstrm "bod:"; ppStrExp ppstrm (body, depth-1);               pps ppstrm "bod:"; ppStrExp ppstrm (body, depth-1);
905              closeBox ppstrm;              closeBox ppstrm;

Legend:
Removed from v.2961  
changed lines
  Added in v.3006

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