5803d2b · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Remove reference to W32 (temporarily)

commit5803d2bc568442309661e3eb9595465f8efef4eb authorEdwin Brady <ecb10@st-andrews.ac.uk> dateMon 3 Dec 2012, 12:00 (14 years ago) parentbbbe563

1 file changed+2−2

unifiedsplit

src/Idris/Primitives.hs+2−2

@@ -251,8 +251,8 @@ w8Bin _ _ = Nothing

251251w16Bin op [VConstant (W16 x), VConstant (W16 y)] = Just $ VConstant (W16 (op x y))

252252w16Bin _ _ = Nothing

253253

254−w32Bin op [VConstant (W32 x), VConstant (W32 y)] = Just $ VConstant (W32 (op x y))

255−w32Bin _ _ = Nothing

254+-- w32Bin op [VConstant (W32 x), VConstant (W32 y)] = Just $ VConstant (W32 (op x y))

255+-- w32Bin _ _ = Nothing

256256

257257intToWord8 [VConstant (I x)] = Just $ VConstant (W8 $ fromIntegral x)

258258intToWord8 _ = Nothing