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 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 TypeDesc Struct type. > > How much flexibility do you need? Is the user really allowed to specify an > arbitrary 'struct' declaration? This could be a security hole. > If you really want it, I think you would have to use existential > quantification in order to construct a user defined type at runtime.
Could you elaborate on this a bit more? Or is there an example somewhere I could look at? Thanks, -Lally _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
