• simonpj@microsoft.com's avatar
    Make type-tidying work for coercion variables · f2b02ce8
    simonpj@microsoft.com authored
    When tidying a TyVar binder, we must tidy its kind if it's a coercion
    variable!  I had forgotten to do this, which is a serious bug.  As a
    result some more complicated programs were getting a Lint error when
    reading in interface files.  Score one for Core Lint!
    
    f2b02ce8
Type.lhs 52.2 KB