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 2751, Tue Sep 11 21:57:29 2007 UTC revision 2910, Thu Nov 22 02:36:15 2007 UTC
# Line 594  Line 594 
594                  pps "lambdaty:";                  pps "lambdaty:";
595                  break{nsp=1,offset=2};                  break{nsp=1,offset=2};
596                  ppLty ppstrm ( (* ModulePropLists.fctEntityLty e,depth-1 *) );                  ppLty ppstrm ( (* ModulePropLists.fctEntityLty e,depth-1 *) );
597                    newline();
598                  pps "tycpath:";                  pps "tycpath:";
599                  break{nsp=1,offset=2};                  break{nsp=1,offset=2};
600                  pps "--printing of tycpath not implemented yet--";                  (case tycpath
601                      of SOME(tp) => PPType.ppTycpath env ppstrm tp
602                       | NONE => pps "no tycpath");
603                 closeBox ();                 closeBox ();
604                closeBox ())                closeBox ())
605      end      end

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

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