git.iko.soy/Idris-dev
on master help sign in
Remove reference to W32 (temporarily)
5803d2bEdwin Brady
src/Idris/Primitives.hs+2−2
compare with master
unifiedsplit
@@ -251,8 +251,8 @@ w8Bin _ _ = Nothing
251w16Bin op [VConstant (W16 x), VConstant (W16 y)] = Just $ VConstant (W16 (op x y))
251w16Bin op [VConstant (W16 x), VConstant (W16 y)] = Just $ VConstant (W16 (op x y))
252w16Bin _ _ = Nothing
252w16Bin _ _ = Nothing
253
253
254−w32Bin op [VConstant (W32 x), VConstant (W32 y)] = Just $ VConstant (W32 (op x y))
254+-- w32Bin op [VConstant (W32 x), VConstant (W32 y)] = Just $ VConstant (W32 (op x y))
255−w32Bin _ _ = Nothing
255+-- w32Bin _ _ = Nothing
256
256
257intToWord8 [VConstant (I x)] = Just $ VConstant (W8 $ fromIntegral x)
257intToWord8 [VConstant (I x)] = Just $ VConstant (W8 $ fromIntegral x)
258intToWord8 _ = Nothing
258intToWord8 _ = Nothing