Skip to content
  • Ryan Scott's avatar
    Make a variant of mkCastErr for kind coercions · 18cedbb5
    Ryan Scott authored
    Summary:
    I discovered when debugging #15346 that the Core Lint error
    message for ill typed casts always mentions types of enclosed
    //expressions//, even if the thing being casted is actually a type.
    This generalizes `mkCastErr` a bit to allow it to give the proper
    labelling for kind coercions.
    
    Test Plan: Run on failing program in #15346, read the Core Lint error
    
    Reviewers: goldfire, bgamari, simonpj
    
    Reviewed By: simonpj
    
    Subscribers: simonpj, rwbarton, thomie, carter
    
    Differential Revision: https://phabricator.haskell.org/D4940
    18cedbb5