comparison dict.rhope @ 129:c9974ac32369

Improve Dictionary pretty printing slightly
author Mike Pavone <pavone@retrodev.com>
date Fri, 05 Nov 2010 02:42:18 +0000
parents e09c2d1d6d5b
children f3686f60985d
comparison
equal deleted inserted replaced
128:5eedee9063dc 129:c9974ac32369
259 out <- Fold[_String Seq[?], "Dictionary", dict] 259 out <- Fold[_String Seq[?], "Dictionary", dict]
260 } 260 }
261 261
262 _Print Seq[dict,key:out] 262 _Print Seq[dict,key:out]
263 { 263 {
264 val <- String[[dict]Index[key]] 264 val <- [[String[[dict]Index[key]]]Split["\n"]]Join["\n\t"]
265 Print[ [[["\t"]Append[String[key]]]Append[":\t"]]Append[val] ] 265 Print[ [[["\t"]Append[String[key]]]Append[":\t"]]Append[val] ]
266 { 266 {
267 ,out <- [dict]Next[key] 267 ,out <- [dict]Next[key]
268 { 268 {
269 out <- _Print Seq[dict, ~] 269 out <- _Print Seq[dict, ~]