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-2/src/compiler/FLINT/kernel/pplty.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/kernel/pplty.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2063, Wed Sep 27 01:35:22 2006 UTC revision 2064, Mon Oct 2 22:44:29 2006 UTC
# Line 21  Line 21 
21      open PPUtilNew      open PPUtilNew
22  in  in
23    
24  val dtPrintNames : bool ref = ref true  val dtPrintNames : bool ref = ref false
25  val printIND : bool ref = ref true  val printIND : bool ref = ref true
26    
27  fun ppSeq ppstrm {sep: string, pp : PP.stream -> 'a -> unit} (list: 'a list) =  fun ppSeq ppstrm {sep: string, pp : PP.stream -> 'a -> unit} (list: 'a list) =
# Line 142  Line 142 
142               pps ")";               pps ")";
143               closeBox())               closeBox())
144            | ppTycI (Lty.TC_APP(contyc, tys)) =            | ppTycI (Lty.TC_APP(contyc, tys)) =
145              (openHOVBox 1;              (openHOVBox 0;
146               pps "APP(";               pps "APP(";
147                 PP.openHVBox ppstrm (PP.Rel 0);
148               ppTyc' contyc;               ppTyc' contyc;
149               pps ",";               pps ","; break {nsp=1,offset=0};
              break {nsp=1,offset=0};  
150               ppList' {sep=",", pp=ppTyc (pd-1)} tys;               ppList' {sep=",", pp=ppTyc (pd-1)} tys;
151               pps ")";               pps ")";
152                 closeBox();
153               closeBox())               closeBox())
154            | ppTycI (Lty.TC_SEQ tycs) =            | ppTycI (Lty.TC_SEQ tycs) =
155              (openHOVBox 1;              (openHOVBox 1;
# Line 174  Line 175 
175            | ppTycI (Lty.TC_FIX{family={size,names,gen,params},index}) =            | ppTycI (Lty.TC_FIX{family={size,names,gen,params},index}) =
176              if !dtPrintNames then pps (Vector.sub(names,index))              if !dtPrintNames then pps (Vector.sub(names,index))
177              else              else
178              (openHOVBox 1;              (openHOVBox 0;
179                pps "FIX(";                pps "FIX(";
180                openHVBox 0;                openHVBox 0;
181                pps "size = "; ppi size; break {nsp=1,offset=0};                pps "size = "; ppi size; break {nsp=1,offset=0};
# Line 182  Line 183 
183                pps "gen = ";                pps "gen = ";
184                openHOVBox 2;                openHOVBox 2;
185                 ppTyc' gen;                 ppTyc' gen;
186                closeBox;                 closeBox ();
187                   break {nsp=1,offset=0};
188                pps "prms = ";                pps "prms = ";
189                openHOVBox 2;                openHOVBox 2;
190                 ppList' {sep = ",", pp = ppTyc (pd-1)} params;                 ppList' {sep = ",", pp = ppTyc (pd-1)} params;
191                closeBox ();                closeBox ();
               break {nsp=0,offset=0};  
192                pps ")";                pps ")";
193                  closeBox();
194               closeBox())               closeBox())
195            | ppTycI (Lty.TC_ABS tyc) =            | ppTycI (Lty.TC_ABS tyc) =
196              (pps "ABS(";              (pps "ABS(";
# Line 244  Line 246 
246              if !printIND then              if !printIND then
247                (openHOVBox 1;                (openHOVBox 1;
248                 pps "IND(";                 pps "IND(";
249                   openHOVBox 0;
250                 ppTyc' tyc;                 ppTyc' tyc;
251                 pps ",";                 pps ",";
252                 break {nsp=1,offset=0};                 break {nsp=1,offset=0};
253                 ppTycI tycI;                 ppTycI tycI;
254                   closeBox();
255                 pps ")";                 pps ")";
256                 closeBox())                 closeBox())
257              else ppTyc' tyc              else ppTyc' tyc
# Line 314  Line 318 
318              (pps "CONT("; ppList' {sep=",",pp=ppLty (pd-1)} ltys; pps ")")              (pps "CONT("; ppList' {sep=",",pp=ppLty (pd-1)} ltys; pps ")")
319            | ppLtyI (Lty.LT_IND(nt,ot)) =            | ppLtyI (Lty.LT_IND(nt,ot)) =
320              if !printIND then              if !printIND then
321                (pps "IND("; ppLty' nt; pps ",";                (pps "IND(";
322                   openHOVBox 0;
323                   ppLty' nt; pps ",";
324                 break {nsp=1,offset=0};                 break {nsp=1,offset=0};
325                 ppLtyI ot; pps ")")                 ppLtyI ot;
326                   closeBox();
327                   pps ")")
328              else ppLty pd ppstrm nt              else ppLty pd ppstrm nt
329            | ppLtyI (Lty.LT_ENV (lty, ol, nl, tenv)) =            | ppLtyI (Lty.LT_ENV (lty, ol, nl, tenv)) =
330              (openHVBox 1;              (openHVBox 1;

Legend:
Removed from v.2063  
changed lines
  Added in v.2064

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