Remove unused utility function
commitdfb6802c6d028d7e0dab06b9d004adf4d2ec746c
authorBenjamin Saunders <besaunde@sfu.ca>
dateSun 20 Jan 2013, 18:51 (14 years ago)
parente26a119
lib/Prelude/Bits.idr−6
@@ -64,12 +64,6 @@ pad64' n f x y = prim__lshrB64 (f (prim__shlB64 x pad) y) pad
6464 where
6565 pad = (prim__intToB64 (cast (64-n)))
6666
67−%assert_total
68−pow : Int -> Int -> Int
69−pow x y = if y > 0
70− then x * (pow x (y - 1))
71− else 1
72−
7367%assert_total
7468intToBits' : Int -> machineTy (log2Bytes n)
7569intToBits' {n=n} x with (log2Bytes n)