Skip to content

Fix a levity-polymorphism error

Simon Peyton Jones requested to merge wip/T19522 into master

As #19522 (closed) points out, we did not account for visible type application when trying to reject naked levity-polymorphic functions that have no binding.

This patch tidies up the code, and fixes the bug too.

Merge request reports