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 3322, Wed May 6 22:47:35 2009 UTC revision 3344, Fri May 15 12:52:07 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,paramRlzn,closure,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 592  Line 592 
592                  pps "stamp: ";                  pps "stamp: ";
593                  pps (Stamps.toShortString stamp);                  pps (Stamps.toShortString stamp);
594                  newline();                  newline();
595                (*     pps "primaries: ";
596                  ppSequence ppstrm
597                             {sep=(fn ppstrm =>
598                                      (pps ", "; break{nsp=1,offset=0})),
599                              pr=fn ppstrm => fn s =>
600                                    let val {pps,...} = en_pp ppstrm
601                                    in pps (Stamps.toShortString s)
602                                    end,
603                              style=INCONSISTENT}
604                             primaries; *)
605                    newline();
606                  pps "paramRlzn: ";                  pps "paramRlzn: ";
607                  break{nsp=1,offset=2};                  break{nsp=1,offset=2};
608                  ppStrEntity ppstrm (paramRlzn,env,depth-1);                  ppStrEntity ppstrm (paramRlzn,env,depth-1);
# Line 879  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, paramRlzn, body} =>         | M.LAMBDA {param, primaries, paramRlzn, 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);

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

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