questions about the type system rewrite

Hi,

Question 1: Will the new type system allow to incrementally build structs (instead
of filling all the fields in one go, as in the example given in
<http://nondot.org/sabre/LLVMNotes/TypeSystemRewrite.txt>?

Question 2: Will the ocaml bindings to be updated to work with the new type system
once the merging of the rewrite to the main branch is done?

Thanks very much,
N

Hi,

Question 1: Will the new type system allow to incrementally build structs (instead
of filling all the fields in one go, as in the example given in
<http://nondot.org/sabre/LLVMNotes/TypeSystemRewrite.txt>?

Nope, a struct either has a body or not. You can't add members to a type incrementally.

Question 2: Will the ocaml bindings to be updated to work with the new type system
once the merging of the rewrite to the main branch is done?

That would be great!

-Chris

I know this is obvious, but one way to achieve a somewhat equivalent incremental
update mechanism, is to instead incrementally update a container. Once the
container is "finished", the structure type is manifested by setBody("ArrayRef ver. of
container").

I was surprised how effortless my port from use of opaque to name struct types
was, although I guess this depends on one's milage.

Garrison

Hi James,

Sorry I missed this. Please send things to the list, not to me directly.

Would “identifiers” be a better term than “variables” here? I don’t really know, but variables make me think of things that, well, vary.

The terms of interest here are Named/Unnamed/Literal.

-Chris