git.iko.soy/Idris-dev
on master help sign in
Cleanup
70cc9cdBenjamin Saunders
src/Idris/Primitives.hs−12
compare with master
unifiedsplit
@@ -463,18 +463,6 @@ s32rem x y = fromIntegral (fromIntegral x `rem` fromIntegral y :: Int32)
463s64rem :: Word64 -> Word64 -> Word64
463s64rem :: Word64 -> Word64 -> Word64
464s64rem x y = fromIntegral (fromIntegral x `rem` fromIntegral y :: Int64)
464s64rem x y = fromIntegral (fromIntegral x `rem` fromIntegral y :: Int64)
465
465
466−b8ToStr [VConstant (B8 x)] = Just $ VConstant (Str (show x))
467−b8ToStr _ = Nothing
468−
469−b16ToStr [VConstant (B16 x)] = Just $ VConstant (Str (show x))
470−b16ToStr _ = Nothing
471−
472−b32ToStr [VConstant (B32 x)] = Just $ VConstant (Str (show x))
473−b32ToStr _ = Nothing
474−
475−b64ToStr [VConstant (B64 x)] = Just $ VConstant (Str (show x))
476−b64ToStr _ = Nothing
477−
478b8Bin op [VConstant (B8 x), VConstant (B8 y)] = Just $ VConstant (B8 (op x y))
466b8Bin op [VConstant (B8 x), VConstant (B8 y)] = Just $ VConstant (B8 (op x y))
479b8Bin _ _ = Nothing
467b8Bin _ _ = Nothing
480
468