[haskell-llvm] InvalidType, getObjList, fptoint

Henning Thielemann lemming at henning-thielemann.de
Sat Jul 30 13:30:39 BST 2011


I am still getting warnings when compiling llvm:

[26 of 41] Compiling LLVM.Core.Util   ( LLVM/Core/Util.hs, 
dist/build/LLVM/Core/Util.dyn_o )

LLVM/Core/Util.hs:440:0:
     Warning: Definition but no type signature for `getObjList'
              Inferred type: getObjList :: forall t b t1 a (m :: * -> *).
                                           (Monad m) =>
                                           (t -> (t1 -> m [GHC.Ptr.Ptr a]) -> b)
                                           -> (t1 -> m (GHC.Ptr.Ptr a))
                                           -> (GHC.Ptr.Ptr a -> m (GHC.Ptr.Ptr a))
                                           -> t
                                           -> b

[30 of 41] Compiling LLVM.Core.Type   ( LLVM/Core/Type.hs, dist/build/LLVM/Core/Type.dyn_o )

LLVM/Core/Type.hs:64:8:
     Warning: Pattern match(es) are non-exhaustive
              In the definition of `code': Patterns not matched: TDInvalidType

LLVM/Core/Type.hs:78:8:
     Warning: Pattern match(es) are non-exhaustive
              In the definition of `code': Patterns not matched: TDInvalidType


Can these be fixed before the next release?


I will also propose a patch shortly, that adds fptoint and inttofp. In 
contrast to fptoui and friends these functions are type-safe with respect 
to signed/unsigned integer types. Shall I deprecate fptoui&co. in the same 
patch?



More information about the Haskell-llvm mailing list