[haskell-llvm] make IsType superclass of IsConst

Henning Thielemann lemming at henning-thielemann.de
Sun Oct 9 16:28:29 BST 2011


In LLVM.Core.CodeGen I find

> -- XXX merge with IsArithmetic?
> class IsConst a where
>     constOf :: a -> ConstValue a


I do not know, whether all arithmetic types allow (and will allow in 
future) initialization with constants, however I think that at least 
IsType should be a superclass of IsConst.



More information about the Haskell-llvm mailing list