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 3285, Wed Apr 1 16:20:00 2009 UTC
# Line 188  Line 188 
188    
189  fun ppVariable ppstrm  =  fun ppVariable ppstrm  =
190      let val {openHVBox, openHOVBox,closeBox,pps,...} = en_pp ppstrm      let val {openHVBox, openHOVBox,closeBox,pps,...} = en_pp ppstrm
191          fun ppV(V.VALvar{path,access,typ,prim},env:StaticEnv.staticEnv) =          fun ppV(V.VALvar{path,access,typ,prim,btvs},env:StaticEnv.staticEnv) =
192                (openHVBox 0;                (openHVBox 0;
193                 pps (SP.toString path);                 pps (SP.toString path);
194                 if !internals then PPVal.ppAccess ppstrm access else ();                 if !internals then PPVal.ppAccess ppstrm access else ();
# Line 246  Line 246 
246                          newline();                          newline();
247                          pps "prim:";                          pps "prim:";
248                          break {nsp=1,offset=2};                          break {nsp=1,offset=2};
                         (* GK: This should be cleaned up soon so as to use a  
                            ppStrInfo that is an actual pretty printer conforming  
                            to the pattern of the other pretty printers.  
                         PrimOpId.ppStrInfo prim; *)  
249                          PPPrim.ppStrPrimInfo ppstrm prim;                          PPPrim.ppStrPrimInfo ppstrm prim;
250                         closeBox();                         closeBox();
251                        closeBox())                        closeBox())
# Line 569  Line 565 
565      end      end
566    
567  and ppFctEntity ppstrm (e, env, depth) =  and ppFctEntity ppstrm (e, env, depth) =
568      let val {stamp,paramEnts,closure,properties,rpath,stub} = e      let val {stamp,paramRlzn,bodyRlzn,closure,properties,rpath,stub} = e
569          val {openHVBox,openHOVBox,closeBox,pps,ppi,break,newline} = en_pp ppstrm          val {openHVBox,openHOVBox,closeBox,pps,ppi,break,newline} = en_pp ppstrm
570      in if depth <= 1      in if depth <= 1
571          then pps "<functor entity>"          then pps "<functor entity>"
# Line 583  Line 579 
579                  pps "stamp: ";                  pps "stamp: ";
580                  pps (Stamps.toShortString stamp);                  pps (Stamps.toShortString stamp);
581                  newline();                  newline();
582                  pps "paramEnts: ";                  pps "paramRlzn: ";
583                  break{nsp=1,offset=2};                  break{nsp=1,offset=2};
584                  ppEntityEnv ppstrm (paramEnts,env,depth-1);                  ppStrEntity ppstrm (paramRlzn,env,depth-1);
585                    newline();
586                    pps "bodyRlzn: ";
587                    break{nsp=1,offset=2};
588                    ppStrEntity ppstrm (bodyRlzn,env,depth-1);
589                  newline();                  newline();
590                  pps "closure:";                  pps "closure:";
591                  break{nsp=1,offset=2};                  break{nsp=1,offset=2};
# Line 888  Line 888 
888               pps ppstrm "bod:"; ppStrExp ppstrm (body, depth-1);               pps ppstrm "bod:"; ppStrExp ppstrm (body, depth-1);
889              closeBox ppstrm;              closeBox ppstrm;
890             closeBox ppstrm)             closeBox ppstrm)
891         | M.LAMBDA {param, paramEnts, body} =>         | M.LAMBDA {param, paramRlzn, body} =>
892            (openHVBox ppstrm (PP.Rel 0);            (openHVBox ppstrm (PP.Rel 0);
893              pps ppstrm "FE.L:"; break ppstrm {nsp=1,offset=1};              pps ppstrm "FE.L:"; break ppstrm {nsp=1,offset=1};
894              openHVBox ppstrm (PP.Rel 0);              openHVBox ppstrm (PP.Rel 0);
895               pps ppstrm "par:"; ppEntVar ppstrm param;               pps ppstrm "par:"; ppEntVar ppstrm param;
896               break ppstrm {nsp=1,offset=0};               break ppstrm {nsp=1,offset=0};
897               pps ppstrm "parents:";               pps ppstrm "parents:";
898               ppEntityEnv ppstrm (paramEnts, SE.empty, depth-1);               ppStrEntity ppstrm (paramRlzn, SE.empty, depth-1);
899               break ppstrm {nsp=1,offset=0};               break ppstrm {nsp=1,offset=0};
900               pps ppstrm "bod:"; ppStrExp ppstrm (body, depth-1);               pps ppstrm "bod:"; ppStrExp ppstrm (body, depth-1);
901              closeBox ppstrm;              closeBox ppstrm;

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

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