Re: [Haskell-cafe] LLVM, type-level?

2010-12-08 Thread Lally Singh
On Tue, Dec 7, 2010 at 1:31 PM, Henning Thielemann lemm...@henning-thielemann.de wrote: On Tue, 7 Dec 2010, Lally Singh wrote: Hey all,  I'm generating a structure definition from input, and would like to generate some LLVM code that can use it.  I see an 'alloca' function in LLVM.Core

[Haskell-cafe] LLVM, type-level?

2010-12-07 Thread Lally Singh
Hey all, I'm generating a structure definition from input, and would like to generate some LLVM code that can use it. I see an 'alloca' function in LLVM.Core that may do the trick, but takes a static type (Ptr a), which I wouldn't have. Is there a dynamic variant? I'm currently generating a

Re: [Haskell-cafe] LLVM, type-level?

2010-12-07 Thread Henning Thielemann
On Tue, 7 Dec 2010, Lally Singh wrote: Hey all, I'm generating a structure definition from input, and would like to generate some LLVM code that can use it. I see an 'alloca' function in LLVM.Core that may do the trick, but takes a static type (Ptr a), which I wouldn't have. Is there a

Re: [Haskell-cafe] LLVM, type-level?

2010-12-07 Thread Lally Singh
On Tue, Dec 7, 2010 at 1:31 PM, Henning Thielemann lemm...@henning-thielemann.de wrote: On Tue, 7 Dec 2010, Lally Singh wrote: Hey all,  I'm generating a structure definition from input, and would like to generate some LLVM code that can use it.  I see an 'alloca' function in LLVM.Core