Skip to content

Type operators in promoteOccName (#24570)

Vladislav Zavialov requested to merge wip/int-index/fix-t24570 into master

Type operators differ from term operators in that they are lexically classified as (type) constructors, not as (type) variables. Prior to this change, promoteOccName did not account for this difference, causing a scoping issue that affected RequiredTypeArguments.

type (!@#) = Bool
f = idee (!@#) -- Not in scope: ‘!@#’ (BUG)

Now we have a special case in promoteOccName to account for this.

Merge request reports