Implement 'pretty' for B{8,16,32,64}
commit127cc708a5530a702e179bd23a84633631dddc73
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 27 Jun 2013, 08:59 (13 years ago)
parent58f3f68
src/Core/TT.hs+4
@@ -307,6 +307,10 @@ instance Pretty Const where
307307 pretty B16Type = text "Bits16"
308308 pretty B32Type = text "Bits32"
309309 pretty B64Type = text "Bits64"
310+ pretty (B8 w) = text . show $ w
311+ pretty (B16 w) = text . show $ w
312+ pretty (B32 w) = text . show $ w
313+ pretty (B64 w) = text . show $ w
310314
311315data Raw = Var Name
312316 | RBind Name (Binder Raw) Raw