changes for warning-free build with GHC 7.8.3

haskell/SEL4.cabal

haskell/Setup.hs

haskell/src/HaskellCPU.lhs

haskell/src/SEL4/API/Invocation/ARM.lhs

haskell/src/SEL4/API/Types.lhs

haskell/src/SEL4/Kernel/CSpace.lhs

haskell/src/SEL4/Kernel/Init.lhs

haskell/src/SEL4/Kernel/VSpace/ARM.lhs

haskell/src/SEL4/Kernel/VSpace/CSpace.lhs

haskell/src/SEL4/Machine/Hardware/ARM.lhs

haskell/src/SEL4/Machine/Hardware/ARM/Lyrebird.hs

haskell/src/SEL4/Machine/Hardware/ARM/QEmu.hs

haskell/src/SEL4/Machine/Hardware/HaskellCPU.lhs

haskell/src/SEL4/Machine/RegisterSet.lhs

haskell/src/SEL4/Object/CNode.lhs

haskell/src/SEL4/Object/Interrupt.lhs

haskell/src/SEL4/Object/ObjectType.lhs

haskell/src/SEL4/Object/Structures.lhs

haskell/src/SEL4/Object/TCB.lhs

haskell/src/SEL4/Object/Untyped.lhs