Data/HashTable.hs Data/Dynamic.hs Data/Monoid.hs Data/Tree.hs \
Control/Monad.hs Control/Monad/Fix.hs Control/Monad/Trans.hs \
Control/Arrow.hs Debug/Trace.hs \
+ NHC/SizedTypes.hs \
System/IO.hs System/IO/Error.hs System/IO/Unsafe.hs \
System/Environment.hs System/Exit.hs System/Locale.hs \
System/Directory.hs System/Mem.hs System/Cmd.hs System/Info.hs \
# Here are the main rules.
include ../Makefile.common
+# some extra rules
+NHC/SizedTypes.hs: NHC/SizedTypes.hs.cpp
+ $(CC) -E $< >$@
# Here are the dependencies.
$(OBJDIR)/Data/FiniteMap.$O: $(OBJDIR)/Data/Maybe.$O
$(OBJDIR)/Data/Array.$O: $(OBJDIR)/Data/Ix.$O
$(OBJDIR)/Data/Dynamic.$O: $(OBJDIR)/Foreign/Ptr.$O \
$(OBJDIR)/Foreign/StablePtr.$O $(OBJDIR)/Data/HashTable.$O
+$(OBJDIR)/Data/Int.$O: $(OBJDIR)/NHC/SizedTypes.$O
+$(OBJDIR)/Data/Word.$O: $(OBJDIR)/NHC/SizedTypes.$O
+$(OBJDIR)/NHC/SizedTypes.$O: $(OBJDIR)/Data/Bits.$O
$(OBJDIR)/System/IO.$O: $(OBJDIR)/System/IO/Error.$O
$(OBJDIR)/System/Random.$O: $(OBJDIR)/Data/Char.$O $(OBJDIR)/Data/IORef.$O \
$(OBJDIR)/System/IO/Unsafe.$O
Data/Set.$C: Data/Maybe.$C Data/FiniteMap.$C
Data/Array.$C: Data/Ix.$C
Data/Dynamic.$C: Foreign/Ptr.$C Data/HashTable.$C
+Data/Int.$C: NHC/SizedTypes.$C
+Data/Word.$C: NHC/SizedTypes.$C
+NHC/SizedTypes.$C: Data/Bits.$C
System/IO.$C: System/IO/Error.$C
System/Random.$C: Data/Char.$C Data/IORef.$C System/IO/Unsafe.$C
Debug/Trace.$C: System/IO.$C System/IO/Unsafe.$C
--- /dev/null
+module NHC.SizedTypes
+ -- This module just adds instances of Bits for Int/Word[8,16,32,64]
+ ( Int8, Int16, Int32, Int64
+ , Word8, Word16, Word32, Word64
+ ) where
+
+{- Note explicit braces and semicolons here - layout is corrupted by cpp. -}
+
+{import NHC.FFI (Int8,Int16,Int32,Int64,Word8,Word16,Word32,Word64)
+;import Data.Bits
+
+#define SIZED_TYPE(T,BS,S) \
+; FOREIGNS(T) \
+; INSTANCE_BITS(T,BS,S)
+
+
+#define FOREIGNS(T) \
+; foreign import ccall nhc_prim##T##And :: T -> T -> T \
+; foreign import ccall nhc_prim##T##Or :: T -> T -> T \
+; foreign import ccall nhc_prim##T##Xor :: T -> T -> T \
+; foreign import ccall nhc_prim##T##Lsh :: T -> Int -> T \
+; foreign import ccall nhc_prim##T##Rsh :: T -> Int -> T \
+; foreign import ccall nhc_prim##T##Compl :: T -> T
+
+
+#define INSTANCE_BITS(T,BS,S) \
+; instance Bits T where \
+ { (.&.) = nhc_prim##T##And \
+ ; (.|.) = nhc_prim##T##Or \
+ ; xor = nhc_prim##T##Xor \
+ ; complement = nhc_prim##T##Compl \
+ ; shiftL = nhc_prim##T##Lsh \
+ ; shiftR = nhc_prim##T##Rsh \
+ ; bitSize _ = BS \
+ ; isSigned _ = S \
+ }
+
+SIZED_TYPE(Int8,8,True)
+SIZED_TYPE(Int16,16,True)
+SIZED_TYPE(Int32,32,True)
+SIZED_TYPE(Int64,64,True)
+
+SIZED_TYPE(Word8,8,False)
+SIZED_TYPE(Word16,16,False)
+SIZED_TYPE(Word32,32,False)
+SIZED_TYPE(Word64,64,False)
+
+}