Skip to content

EPA: track unicode version for unrestrictedFunTyCon

Alan Zimmerman requested to merge wip/az/T23885-unicode-funtycon into master

We now have unrestrictedFunTyCon constructed from the -> token. But this has a unicode variant too. Keep track of this.

Merge request reports