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