Mercurial > urweb
comparison src/print.sml @ 223:bbe5899a9585
Queries back to working as well as before, after start of refactoring to support grouping
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 21 Aug 2008 12:49:29 -0400 |
parents | 258261a53842 |
children | 71bafe66dbe1 |
comparison
equal
deleted
inserted
replaced
222:36fef91a6bbf | 223:bbe5899a9585 |
---|---|
50 [] => PD.string "" | 50 [] => PD.string "" |
51 | [x] => f x | 51 | [x] => f x |
52 | x :: rest => | 52 | x :: rest => |
53 let | 53 let |
54 val tokens = foldr (fn (x, tokens) => | 54 val tokens = foldr (fn (x, tokens) => |
55 sep :: f x :: tokens) | 55 sep :: PD.cut :: f x :: tokens) |
56 [] rest | 56 [] rest |
57 in | 57 in |
58 box (f x :: tokens) | 58 box (f x :: tokens) |
59 end | 59 end |
60 fun p_list f = p_list_sep (box [PD.string ",", space]) f | 60 fun p_list f = p_list_sep (box [PD.string ",", space]) f |