core.typed

Poly-names* should generate fresh names

Details

  • Type: Defect Defect
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Completed
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None

Description

Otherwise caching is unsound.

Also, type bounds should probably live in the bound or free variable as a hash-able field, rather than in a dynamic binding when unwrapping binders.

Activity

Hide
Ambrose Bonnaire-Sergeant added a comment -

Added Poly-fresh*

Show
Ambrose Bonnaire-Sergeant added a comment - Added Poly-fresh*

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: