[LLVMdev] Two suggestions for improving LLVM error reporting
clattner at apple.com
Sat Jan 9 11:17:41 PST 2010
On Jan 9, 2010, at 7:28 AM, Kenneth Uildriks wrote:
>>> This means that if you have a "%foo***" and %foo gets resolved to "i32", that "%foo***" would not get implicitly unioned with "i32***". This would also eliminate the current complexity forming circular types, make many frontends simpler etc. It would mean that a cyclic type would be *required* to go through a named type though.
>>> It would also allow elimination of upreferences, PATypeHolder, PATypeHandle, etc. It would also eliminate the frequent confusion around "my function should take a %foo*, it the IR dump shows it as %bar*" (because they have the same type structure).
>>> OTOH, it would mean that we couldn't have the totally awesome and oh-so-useful \1* type ;-)
> Sweet! Could named types also be concrete in this scheme?
More information about the llvm-dev