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 /smlnj-lib/branches/rt-transition/PP/tests/test.sml
ViewVC logotype

Diff of /smlnj-lib/branches/rt-transition/PP/tests/test.sml

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

revision 4069, Tue Jun 9 20:52:48 2015 UTC revision 4070, Thu Jun 11 12:33:25 2015 UTC
# Line 175  Line 175 
175          PP.string strm "}";          PP.string strm "}";
176        PP.closeBox strm));        PP.closeBox strm));
177    
178    (* a test of VBox *)
179    fun t50 () = withPP ("Test 40 [vbox]", 20) (fn strm => let
180          fun pp l = let
181                fun pp' [] = ()
182                  | pp' [s] = PP.string strm s
183                  | pp' (s::r) = (PP.string strm s; PP.space strm 1; pp' r)
184                in
185                  PP.openHBox strm; pp' l; PP.closeBox strm
186                end
187          in
188              PP.openVBox strm (PP.Abs 0);
189                pp ["0:", "line", "1"]; PP.newline strm;
190                pp ["0:", "line", "2"]; PP.newline strm;
191                PP.openVBox strm (PP.Abs 2);
192                  pp ["2:", "line", "3"]; PP.newline strm;
193                  pp ["2:", "line", "4"];
194                PP.closeBox strm;
195                PP.newline strm;
196                PP.openVBox strm (PP.Abs 2);
197                  pp ["2:", "line", "5"]; PP.newline strm;
198                  pp ["2:", "line", "6"];
199                PP.closeBox strm;
200                PP.newline strm;
201                pp ["0:", "line", "7"]; PP.newline strm;
202                pp ["0:", "line", "8"]; PP.newline strm;
203                PP.openVBox strm (PP.Abs 4);
204                  pp ["4:", "line", "9"]; PP.newline strm;
205                  pp ["4:", "line", "10"];
206                PP.closeBox strm;
207                PP.newline strm;
208                pp ["0:", "line", "11"]; PP.newline strm;
209                pp ["0:", "line", "12"]; PP.newline strm;
210              PP.closeBox strm
211          end)
212    

Legend:
Removed from v.4069  
changed lines
  Added in v.4070

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