lambda-ccc icon indicating copy to clipboard operation
lambda-ccc copied to clipboard
verified publisher icon conal

Unshadowing happens too late

Open conal opened this issue 11 years ago • 1 comments

The final unshadow in test/Auto.hss comes too late, after conversion of lambda-bound variables into reified form. At that time, variables aren't variables, so unshadowing doesn't help.

conal avatar Apr 20 '14 20:04 conal

When to unshadow? Ideas:

  • On result of inlining, at least for dictionary methods, which reveals auto-generated accessor code.
  • Right before replacing a lambda-bound variable.
  • Use a HOAS interface, moving the problem elsewhere.

conal avatar Apr 20 '14 20:04 conal