git.iko.soy/Idris-dev
on master help sign in
Delete obsoleted Data.Word
5be5c84Benjamin Saunders
lib/Data/Word.idrdeleted−19
compare with master
unifiedsplit
@@ -1,19 +0,0 @@
1−module Data.Word
2−
3−%access public
4−
5−instance Num Word8 where
6− (+) = prim__addW8
7− (-) = prim__subW8
8− (*) = prim__mulW8
9−
10− abs x = x
11− fromInteger = prim__intToWord8
12−
13−instance Num Word16 where
14− (+) = prim__addW16
15− (-) = prim__subW16
16− (*) = prim__mulW16
17−
18− abs x = x
19− fromInteger = prim__intToWord16
lib/base.ipkg+1−1
@@ -16,7 +16,7 @@ modules = Builtins, Prelude, IO, System,
16
16
17 Language.Reflection,
17 Language.Reflection,
18
18
19− Data.Morphisms, Data.Bits, Data.Word,
19+ Data.Morphisms, Data.Bits,
20
20
21 Control.Monad.Identity, Control.Monad.State, Control.Category,
21 Control.Monad.Identity, Control.Monad.State, Control.Category,
22 Control.Arrow
22 Control.Arrow