Skip to content

Draft: Introduce and use RoughMap

Ben Gamari requested to merge wip/T19703 into master

This introduces a new data structure, RoughMap, implementing an approximate finite map over Types. We then use this structure to represent class instance and type family instance environments. This addresses #19703.

To do

  • Write Note describing structure
  • Characterise compile-time effect
  • Reconsider eta expansion approach
  • Sort out determinism story
Edited by Ben Gamari

Merge request reports