search for: 394b7416

On 10 July 2011 19:47, Talin <viridia at gmail.com> wrote: > However, I would imagine other uses for this facility. What this effectively > is "metadata for types", although unlike metadata nodes this data would be > immutable. Hi Talin, The new type system allows you to name types and, if I got it rght, that's unique and immutable. You could use that fact, plus

I'd like to figure out a clean way to annotate LLVM types with additional information. This is related to the garbage collection discussion - I'd like to figure out a good way to do this, so I can add it to the proposal. Basically what I want is to be able to take a Constant and associate it with a type, such that (1) any backend pass that has a reference to the type can quickly and