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 3344, Fri May 15 12:52:07 2009 UTC revision 3345, Fri May 15 15:05:51 2009 UTC
# Line 578  Line 578 
578      end      end
579    
580  and ppFctEntity ppstrm (e, env, depth) =  and ppFctEntity ppstrm (e, env, depth) =
581      let val {stamp,paramRlzn,closure,rpath,stub,properties,...} = e      let val {stamp,exp,closureEnv,rpath,stub,properties,...} = e
582          val {openHVBox,openHOVBox,closeBox,pps,ppi,break,newline} = en_pp ppstrm          val {openHVBox,openHOVBox,closeBox,pps,ppi,break,newline} = en_pp ppstrm
583      in if depth <= 1      in if depth <= 1
584          then pps "<functor entity>"          then pps "<functor entity>"
# Line 603  Line 603 
603                            style=INCONSISTENT}                            style=INCONSISTENT}
604                           primaries; *)                           primaries; *)
605                  newline();                  newline();
606                  pps "paramRlzn: ";                  pps "exp:";
607                  break{nsp=1,offset=2};                  break{nsp=1,offset=2};
608                  ppStrEntity ppstrm (paramRlzn,env,depth-1);                  ppFctExp ppstrm (exp,depth-1);
609                  newline();                  newline();
610                  pps "closure:";                  pps "closureEnv:";
611                  break{nsp=1,offset=2};                  break{nsp=1,offset=2};
612                  ppClosure ppstrm (closure,depth-1);                  ppEntityEnv ppstrm (closureEnv,env,depth-1);
613                  newline();                  newline();
614                 closeBox ();                 closeBox ();
615                closeBox ())                closeBox ())

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

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