• Ryan Scott's avatar
    Fix #13983 by creating a TyConFlavour type, and using it · 6e3c901d
    Ryan Scott authored
    An error message was referring to a type synonym as a datatype.
    Annoyingly, learning that the TyCon over which the error message is
    operating is actually a type synonym was previously impossible, since
    that code only had access to a TcTyCon, which doesn't retain any
    information about what sort of TyCon it is.
    
    To rectify this, I created a new TyConFlavour datatype, intended to
    capture roughly what sort of TyCon we're dealing with. I then performing
    the necessary plumbing to ensure all TcTyCons have a TyConFlavour, and
    propagated this information through to the relevant error message.
    
    Test Plan: ./validate
    
    Reviewers: goldfire, austin, bgamari, simonpj
    
    Reviewed By: simonpj
    
    Subscribers: simonpj, rwbarton, thomie
    
    GHC Trac Issues: #13983
    
    Differential Revision: https://phabricator.haskell.org/D3747
    6e3c901d
TcHsType.hs 91.5 KB