Fix a few missing lines
commit7f7af8d4c75389e968587953668c2432c7302593
authorBenjamin Saunders <besaunde@sfu.ca>
dateSun 13 Jan 2013, 15:38 (14 years ago)
parent9804938
lib/Prelude/Modular.idr+1−1
@@ -33,7 +33,7 @@ modDiv = modBin bitsUDiv
3333
3434public partial
3535modRem : Mod2 n -> Mod2 n -> Mod2 n
36−modRem = modBin bitsSDiv
36+modRem = modBin bitsURem
3737
3838%assert_total
3939public
src/Idris/Primitives.hs+1
@@ -580,6 +580,7 @@ intToBits64 [VConstant (I x)] = Just $ toB64 x
580580intToBits64 _ = Nothing
581581
582582bits32ToInt [VConstant (B32 x)] = Just $ VConstant (I (fromIntegral x))
583+bits32ToInt _ = Nothing
583584
584585c_intToStr [VConstant (I x)] = Just $ VConstant (Str (show x))
585586c_intToStr _ = Nothing