minimal example

[dannypsnl]

result:

X
Y

and we can update type cache without suffering by infinite loop

[mewmew]

Hi @dannypsnl,

For the same reason as outlined in #171 (comment), I would like to maintain the property that every value really is the underlying value (e.g. the result of an add instruction; *ir.AddInst) instead of being an identifier that has no underlying value (e.g. a *LocalIdent`).

While using LocalIdent solves the issue with having to use type caches for cyclic values, it also limits the expressiveness and power of the IR representation of the llir/llvm API.

[dannypsnl]

Close #116 , the expressiveness is the main reason we give up cache in Ident.