Fall back on base 2 printing for Mod2 for now
commitc4c3b91ab3913cddd06d37ffc8c74e21e1b0980a
authorBenjamin Saunders <besaunde@sfu.ca>
dateWed 9 Jan 2013, 15:40 (14 years ago)
parent42405c8
lib/Prelude.idr+2−1
@@ -32,8 +32,9 @@ instance Show Nat where
3232instance Show Int where
3333 show = prim__intToStr
3434
35+-- TODO: Base 10
3536instance Show (Mod2 n) where
36− show = modToStr
37+ show (MkMod2 x) = bitsToStr x
3738
3839instance Show Integer where
3940 show = prim__bigIntToStr