@@ -52,7 +52,7 @@ using (k : Nat, ts : Vect k Type)
52 shows (x::xs) = show x :: shows xs
52 shows (x::xs) = show x :: shows xs
54 instance (Shows k ts) => Show (HVect ts) where
54 instance (Shows k ts) => Show (HVect ts) where
55− show xs = show (shows xs)
55+ show xs = "[" ++ (pack . intercalate [','] . map unpack . toList $ shows xs) ++ "]"
57 ||| Extract an arbitrary element of the correct type.
57 ||| Extract an arbitrary element of the correct type.
58 ||| @ t the goal type
58 ||| @ t the goal type