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 2222, Tue Nov 28 22:02:39 2006 UTC revision 2407, Fri Apr 13 04:27:56 2007 UTC
# Line 380  Line 380 
380                         closeBox()))                         closeBox()))
381                    constraints;                    constraints;
382                  closeBox ())                  closeBox ())
383          val somePrint = ref false          val somePrint = ref false (* i.e., signature is not empty sig end *)
384       in if depth <= 0       in if depth <= 0
385          then pps "<sig>"          then pps "<sig>"
386          else          else
# Line 417  Line 417 
417                else (* not !internals *)                else (* not !internals *)
418                  (openHVBox 0;                  (openHVBox 0;
419                    pps "sig";                    pps "sig";
420                    break{nsp=1,offset=2};                    (case elements
421                           of nil => pps " "
422                            | [_] => pps " "
423                            | _ => nl_indent ppstrm 2);
424                    openHVBox 0;                    openHVBox 0;
425                     case elements                     case elements
426                       of nil => ()                       of nil => ()
# Line 434  Line 437 
437                                ppConstraints("type ",typsharing);                                ppConstraints("type ",typsharing);
438                                somePrint := true);                                somePrint := true);
439                    closeBox();                    closeBox();
440                    if !somePrint then break{nsp=1,offset=0} else ();                    (case elements
441                        of nil => ()
442                         | [_] => pps " "
443                         | _ => newline());
444                    pps "end";                    pps "end";
445                   closeBox())                   closeBox())
446             | M.ERRORsig => pps "<error sig>"             | M.ERRORsig => pps "<error sig>"

Legend:
Removed from v.2222  
changed lines
  Added in v.2407

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