on master help sign in
add coma before ...
83a0a20Heather
libs/contrib/Data/CoList.idr+1−1
@@ -31,7 +31,7 @@ instance Show a => Show (CoList a) where
31 show' acc (S n) [x] = acc ++ show x
31 show' acc (S n) [x] = acc ++ show x
32 show' acc (S n) (x :: xs) =
32 show' acc (S n) (x :: xs) =
33 if n > 0 then show' (acc ++ (show x) ++ ", ") n xs
33 if n > 0 then show' (acc ++ (show x) ++ ", ") n xs
34− else acc ++ (show x) ++ "..."
34+ else acc ++ (show x) ++ ", ..."
35
35
36||| Take the first `n` elements of `xs`
36||| Take the first `n` elements of `xs`
37|||
37|||