[LLVMdev] Two suggestions for improving LLVM error reporting

[Chris Lattner]

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?

Yep,

-Chris