@@ -307,6 +307,10 @@ instance Pretty Const where
307 pretty B16Type = text "Bits16"
307 pretty B16Type = text "Bits16"
308 pretty B32Type = text "Bits32"
308 pretty B32Type = text "Bits32"
309 pretty B64Type = text "Bits64"
309 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
311data Raw = Var Name
315data Raw = Var Name
312 | RBind Name (Binder Raw) Raw
316 | RBind Name (Binder Raw) Raw