CVS: sml-dist/src/compiler/FLINT/kernel pplty.sml, 1.1.2.3, 1.1.2.4
George Kuan <[email protected]> Mon, 31 Jul 2006 12:07:12 -0700
| Newsgroups | gmane.comp.lang.sml.smlnj.commits |
|---|---|
| Message-ID | <[email protected]> |
Update of /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv12906/src/compiler/FLINT/kernel
Modified Files:
Tag: primop-branch-2
pplty.sml
Log Message:
added more PP.break's to PPLTy
Index: pplty.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel/Attic/pplty.sml,v
retrieving revision 1.1.2.3
retrieving revision 1.1.2.4
diff -C2 -d -r1.1.2.3 -r1.1.2.4
*** pplty.sml 31 Jul 2006 18:07:17 -0000 1.1.2.3
--- pplty.sml 31 Jul 2006 19:07:10 -0000 1.1.2.4
***************
*** 22,27 ****
in
(ppSequence ppstrm
! {sep = fn ppstrm => (PP.break ppstrm {nsp=1, offset=0};
! PP.string ppstrm sep),
style = INCONSISTENT,
pr = (fn _ => fn elem =>
--- 22,27 ----
in
(ppSequence ppstrm
! {sep = fn ppstrm => (PP.string ppstrm sep;
! PP.break ppstrm {nsp=1, offset=0}),
style = INCONSISTENT,
pr = (fn _ => fn elem =>
***************
*** 71,77 ****
--- 71,79 ----
fun ppTycI (LK.TC_VAR(depth, cnt)) =
(pps "TC_VAR(";
+ PP.break ppstrm {nsp=1,offset=0};
(* depth is a deBruijn index set in elabmod.sml/instantiate.sml *)
pps (DebIndex.di_print depth);
pps ",";
+ PP.break ppstrm {nsp=1,offset=0};
(* cnt is computed in instantiate.sml sigToInst *)
pps (Int.toString cnt);
***************
*** 80,87 ****
--- 82,91 ----
| ppTycI (LK.TC_NVAR tvar) =
(pps "TC_NVAR(";
+ PP.break ppstrm {nsp=1,offset=0};
pps (Int.toString tvar);
pps ")")
| ppTycI (LK.TC_PRIM primtycon) =
(pps "TC_PRIM(";
+ PP.break ppstrm {nsp=1,offset=0};
pps (PT.pt_print primtycon);
pps ")")
***************
*** 89,94 ****
--- 93,100 ----
(openHOVBox 1;
pps "TC_FN(";
+ PP.break ppstrm {nsp=1,offset=0};
ppList' {sep="* ", pp=ppTKind'} argTkinds;
pps ",";
+ PP.break ppstrm {nsp=1,offset=0};
ppTyc' resultTyc;
pps ")";
***************
*** 97,102 ****
--- 103,110 ----
(openHOVBox 1;
pps "TC_APP(";
+ PP.break ppstrm {nsp=1,offset=0};
ppTyc' contyc;
pps ",";
+ PP.break ppstrm {nsp=1,offset=0};
ppList' {sep="* ", pp=ppTyc'} tys;
pps ")";
***************
*** 105,108 ****
--- 113,117 ----
(openHOVBox 1;
pps "TC_SEQ(";
+ PP.break ppstrm {nsp=1,offset=0};
ppList' {sep=", ", pp=ppTyc'} tycs;
pps ")";
***************
*** 111,116 ****
--- 120,127 ----
(openHOVBox 1;
pps "TC_PROJ(";
+ PP.break ppstrm {nsp=1,offset=0};
ppTyc' tycon;
pps ", ";
+ PP.break ppstrm {nsp=1,offset=0};
pps (Int.toString index);
pps ")";
***************
*** 118,121 ****
--- 129,133 ----
| ppTycI (LK.TC_SUM(tycs)) =
(pps "TC_SUM(";
+ PP.break ppstrm {nsp=1,offset=0};
ppList' {sep=", ", pp=ppTyc'} tycs;
pps ")")
***************
*** 124,136 ****
(openHOVBox 1;
pps "TC_FIX(";
pps "nStamps = ";
pps (Int.toString numStamps);
! pps ", ";
pps "datatypeFamily = ";
ppTyc' datatypeFamily;
pps ", ";
pps "freeTycs = ";
ppList' {sep = ", ", pp = ppTyc'} freetycs;
pps ", ";
pps "index = ";
pps (Int.toString index);
--- 136,152 ----
(openHOVBox 1;
pps "TC_FIX(";
+ PP.break ppstrm {nsp=1,offset=0};
pps "nStamps = ";
pps (Int.toString numStamps);
! pps ",";
! PP.break ppstrm {nsp=1, offset=0};
pps "datatypeFamily = ";
ppTyc' datatypeFamily;
pps ", ";
+ PP.break ppstrm {nsp=1, offset=0};
pps "freeTycs = ";
ppList' {sep = ", ", pp = ppTyc'} freetycs;
pps ", ";
+ PP.break ppstrm {nsp=1, offset=0};
pps "index = ";
pps (Int.toString index);
***************
*** 139,146 ****
--- 155,164 ----
| ppTycI (LK.TC_ABS tyc) =
(pps "TC_ABS(";
+ PP.break ppstrm {nsp=1,offset=0};
ppTyc' tyc;
pps ")")
| ppTycI (LK.TC_BOX tyc) =
(pps "TC_BOX(";
+ PP.break ppstrm {nsp=1,offset=0};
ppTyc' tyc;
pps ")")
***************
*** 148,151 ****
--- 166,170 ----
| ppTycI (LK.TC_TUPLE (rflag, tycs)) =
(pps "TC_TUPLE(";
+ PP.break ppstrm {nsp=1,offset=0};
ppList' {sep="* ", pp=ppTyc'} tycs;
pps ")")
***************
*** 153,156 ****
--- 172,176 ----
| ppTycI (LK.TC_ARROW (fflag, argTycs, resTycs)) =
(pps "TC_ARROW(";
+ PP.break ppstrm {nsp=1,offset=0};
(case fflag of LK.FF_FIXED => pps "FF_FIXED"
| LK.FF_VAR(b1, b2) => (pps "<FF_VAR>" (*;
***************
*** 161,164 ****
--- 181,185 ----
ppList' {sep="* ", pp=ppTyc'} argTycs;
pps ", ";
+ PP.break ppstrm {nsp=1,offset=0};
ppList' {sep="* ", pp=ppTyc'} resTycs;
pps ")")
***************
*** 166,181 ****
--- 187,207 ----
| ppTycI (LK.TC_PARROW (argTyc, resTyc)) =
(pps "TC_PARROW(";
+ PP.break ppstrm {nsp=1,offset=0};
ppTyc' argTyc;
pps ", ";
+ PP.break ppstrm {nsp=1,offset=0};
ppTyc' resTyc;
pps ")")
| ppTycI (LK.TC_TOKEN (tok, tyc)) =
(pps "TC_TOKEN(";
+ PP.break ppstrm {nsp=1,offset=0};
pps (LK.token_name tok);
pps ", ";
+ PP.break ppstrm {nsp=1,offset=0};
ppTyc' tyc;
pps ")")
| ppTycI (LK.TC_CONT tycs) =
(pps "TC_CONT(";
+ PP.break ppstrm {nsp=1,offset=0};
ppList' {sep=", ", pp=ppTyc'} tycs;
pps ")")
***************
*** 183,188 ****
--- 209,216 ----
(openHOVBox 1;
pps "TC_IND(";
+ PP.break ppstrm {nsp=1,offset=0};
ppTyc' tyc;
pps ", ";
+ PP.break ppstrm {nsp=1,offset=0};
ppTycI tycI;
pps ")";
***************
*** 191,196 ****
--- 219,226 ----
(openHOVBox 1;
pps "TC_ENV(";
+ PP.break ppstrm {nsp=1,offset=0};
ppTyc' tyc;
pps ", ";
+ PP.break ppstrm {nsp=1,offset=0};
pps "ol = ";
pps (Int.toString ol);
***************
*** 199,202 ****
--- 229,233 ----
pps (Int.toString nl);
pps ", ";
+ PP.break ppstrm {nsp=1,offset=0};
(LK.tycEnvOut tenv);
closeBox())
-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys -- and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV