Skip to content

Make Iris compatible with name mangling

Ralf Jung requested to merge ci/ralf/name-mangling into master

Fix the last name mangling incompatibility by using notypeclasses refine for iInv. I hope this approach is acceptable for @robbertkrebbers. :)

In particular, this enables using Set Mangle Names in reverse dependencies, which currently fails at every use of iInv.

Fixes #343 (closed)

Edited by Ralf Jung

Merge request reports