Conciseness
commitcbc8a13959583609ba05b2ad3dbe61c6af80d5e2
authorBenjamin Saunders <besaunde@sfu.ca>
dateSun 13 Jan 2013, 16:19 (14 years ago)
parent4ea88e1
lib/Prelude/Modular.idr+1−2
@@ -79,5 +79,4 @@ modToStr x = pack (reverse (helper x))
7979 %assert_total
8080 helper : Mod2 n -> List Char
8181 helper x = strIndex "0123456789" (unsafeBitsToInt (modToBits (x `modRem` 10)))
82− :: (let q = (x `modDiv` 10) in
83− if q == 0 then [] else helper q)
82+ :: (if x < 10 then [] else helper (x `modDiv` 10))