Skip to content

typecheck: Drop SPECIALISE pragmas when there is no unfolding

Ben Gamari requested to merge wip/T18118 into master

Previously the desugarer would instead fall over when it realized that there was no unfolding for an imported function with a SPECIALISE pragma. We now rather drop the SPECIALISE pragma and throw a warning.

Fixes #18118 (closed).

Merge request reports