Fix Show for HVects
It depended on Show for Strings using id.
commit53417dd506c76102e7654237067e9734a02eefe9
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateTue 10 Jun 2014, 12:25 (12 years ago)
parentb6aa58a
libs/base/Data/HVect.idr+1−1
@@ -52,7 +52,7 @@ using (k : Nat, ts : Vect k Type)
5252 shows (x::xs) = show x :: shows xs
5353
5454 instance (Shows k ts) => Show (HVect ts) where
55− show xs = show (shows xs)
55+ show xs = "[" ++ (pack . intercalate [','] . map unpack . toList $ shows xs) ++ "]"
5656
5757 ||| Extract an arbitrary element of the correct type.
5858 ||| @ t the goal type