search for: types1

...;In LLVM, opaque types can eventually be resolved to any type (not just a structure type)." But the only way I can think of to do so is to give it a type name, then later redeclare the name. But that gives an error: %TO = type opaque %TF = type i32 ( %TO* ) %TO = type %TF gives: $ llvm-as types1.ll llvm-as: types1.ll:3:1: error: redefinition of type %TO = type %TF ^ Also, what is the set of things that can be done with an as-yet unresolved opaque type? -- Rodney Bates rodney.m.bates at acm.org