[haskell-llvm] string creation

[Bryan O'Sullivan]

On Sun, Oct 10, 2010 at 1:43 AM, Henning Thielemann <
lemming at henning-thielemann.de> wrote:

>
> I had experimentally added (Nat n) to some array functions. That spotted a
> problem in LLVM.Core.CodeGen.string. The 'string' function creates an
> array constant for a string and returns an Array type of undetermined
> size. There is no check, that the array type has the correct size. How
> about using type-level's reifyIntegral and continuation passing style in
> order to provide an Array type with the correct size?


That sounds reasonable. What would a patch look like?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://projects.haskell.org/pipermail/haskell-llvm/attachments/20101010/a4cfee10/attachment.htm