on master help sign in
Fix reference to broken primitives
commita73b6af61f59d532e47685a7aac4c3984d1adcc6 authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateWed 30 Jul 2014, 09:45 (12 years ago) parent79308e7
1 file changed+4−4
libs/base/Language/Reflection/Utils.idr+4−4
libs/base/Language/Reflection/Utils.idr+4−4
@@ -89,10 +89,10 @@ instance Show Const where
8989 show (B16 b) = "(B16 ...)"
9090 show (B32 b) = "(B32 ...)"
9191 show (B64 b) = "(B64 ...)"
92− show (B8V xs) = "(B8V " ++ show xs ++ ")"
93− show (B16V xs) = "(B16V " ++ show xs ++")"
94− show (B32V xs) = "(B32V " ++ show xs ++ ")"
95− show (B64V xs) = "(B64V " ++ show xs ++ ")"
92+ show (B8V xs) = "(B8V ...)"
93+ show (B16V xs) = "(B16V ...)"
94+ show (B32V xs) = "(B32V ...)"
95+ show (B64V xs) = "(B64V ...)"
9696 show (AType x) = "(AType ...)"
9797 show StrType = "StrType"
9898 show PtrType = "PtrType"