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 2750, Fri Sep 7 02:51:18 2007 UTC revision 2751, Tue Sep 11 21:57:29 2007 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,closure,properties,tycpath,rpath,stub} = e      let val {stamp,paramEnts,closure,properties,tycpath,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: ";
587                    break{nsp=1,offset=2};
588                    ppEntityEnv ppstrm (paramEnts,env,depth-1);
589                    newline();
590                  pps "closure:";                  pps "closure:";
591                  break{nsp=1,offset=2};                  break{nsp=1,offset=2};
592                  ppClosure ppstrm (closure,depth-1);                  ppClosure ppstrm (closure,depth-1);
# Line 881  Line 885 
885               pps ppstrm "bod:"; ppStrExp ppstrm (body, depth-1);               pps ppstrm "bod:"; ppStrExp ppstrm (body, depth-1);
886              closeBox ppstrm;              closeBox ppstrm;
887             closeBox ppstrm)             closeBox ppstrm)
888         | M.LAMBDA {param, body} =>         | M.LAMBDA {param, paramEnts, body} =>
889            (openHVBox ppstrm (PP.Rel 0);            (openHVBox ppstrm (PP.Rel 0);
890              pps ppstrm "FE.L:"; break ppstrm {nsp=1,offset=1};              pps ppstrm "FE.L:"; break ppstrm {nsp=1,offset=1};
891              openHVBox ppstrm (PP.Rel 0);              openHVBox ppstrm (PP.Rel 0);
892               pps ppstrm "par:"; ppEntVar ppstrm param;               pps ppstrm "par:"; ppEntVar ppstrm param;
893               break ppstrm {nsp=1,offset=0};               break ppstrm {nsp=1,offset=0};
894                 pps ppstrm "parents:";
895                 ppEntityEnv ppstrm (paramEnts, SE.empty, depth-1);
896                 break ppstrm {nsp=1,offset=0};
897               pps ppstrm "bod:"; ppStrExp ppstrm (body, depth-1);               pps ppstrm "bod:"; ppStrExp ppstrm (body, depth-1);
898              closeBox ppstrm;              closeBox ppstrm;
899             closeBox ppstrm)             closeBox ppstrm)

Legend:
Removed from v.2750  
changed lines
  Added in v.2751

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