• Simon Peyton Jones's avatar
    Make Specialise close over kind variables (fixes Trac #8196) · 8d7dd547
    Simon Peyton Jones authored
    This is a lingering bug from the introduction of polymorphic kinds.
    In the specialiser we were specialising over a type, but failing
    to specialise over the kinds it mentions.
    The fix is simple: add a call to closeOverKinds.
    Most of the patch is to add closeOverKinds, and to use it in a few
    other places where we are doing essentially the same thing.
Specialise.lhs 80.4 KB