add coma before ...
commit83a0a207e1dfb412116d4657d6187e872efec20f
authorHeather <heather@live.ru>
dateTue 28 Apr 2015, 16:20 (11 years ago)
parent576ff3d
libs/contrib/Data/CoList.idr+1−1
@@ -31,7 +31,7 @@ instance Show a => Show (CoList a) where
3131 show' acc (S n) [x] = acc ++ show x
3232 show' acc (S n) (x :: xs) =
3333 if n > 0 then show' (acc ++ (show x) ++ ", ") n xs
34− else acc ++ (show x) ++ "..."
34+ else acc ++ (show x) ++ ", ..."
3535
3636||| Take the first `n` elements of `xs`
3737|||