git.iko.soy/Idris-dev
on master help sign in
Delete obsoleted Data.Word
commit5be5c84e377c8cae87dbfbef57b9270b7cbd82d0 authorBenjamin Saunders <besaunde@sfu.ca> dateSun 27 Jan 2013, 11:47 (14 years ago) parentaa8aefd
2 files changed+1−20
compare with master
unifiedsplit
lib/Data/Word.idr−19 lib/base.ipkg+1−1
lib/Data/Word.idrdeleted−19
@@ -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,
1616
1717 Language.Reflection,
1818
19− Data.Morphisms, Data.Bits, Data.Word,
19+ Data.Morphisms, Data.Bits,
2020
2121 Control.Monad.Identity, Control.Monad.State, Control.Category,
2222 Control.Arrow