<< Back to previous view

[CTYP-35] Should use fresh names when checking plambdas Created: 26/Aug/13  Updated: 03/Dec/17  Resolved: 03/Dec/17

Status: Closed
Project: core.typed
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Defect Priority: Major
Reporter: Ambrose Bonnaire-Sergeant Assignee: Unassigned
Resolution: Declined Votes: 0
Labels: None


See the Typed Racket implementation. Poly-fresh* is only needed when checking a plambda.

ambrosebs: why is Poly-fresh: needed in the plambda type checking code, but nowhere else?
asumu: ambrosebs: that's the only place where the body of the lambda is checked.
asumu: The only purpose of Poly-fresh is to make sure the references to the bound type variable in the body are resolved in the correct way.
asumu: When the type is just manipulated otherwise, it doesn't matter.

Comment by Ambrose Bonnaire-Sergeant [ 03/Dec/17 6:20 PM ]

Don't plan to investigate myself.

Generated at Mon Jan 22 00:36:01 CST 2018 using JIRA 4.4#649-r158309.