Skip to content
  • Ryan Scott's avatar
    Fix #15572 by checking for promoted names in ConT · c46a5f20
    Ryan Scott authored and Krzysztof Gogolewski's avatar Krzysztof Gogolewski committed
    Summary:
    When converting `ConT`s to `HsTyVar`s in `Convert`, we were
    failing to account for the possibility of promoted data constructor
    names appearing in a `ConT`, which could result in improper
    pretty-printing results (as observed in #15572). The fix is
    straightforward: use `Promoted` instead of `NotPromoted` when the
    name of a `ConT` is a data constructor name.
    
    Test Plan: make test TEST=T15572
    
    Reviewers: goldfire, bgamari, simonpj, monoidal
    
    Reviewed By: goldfire, simonpj
    
    Subscribers: monoidal, rwbarton, carter
    
    GHC Trac Issues: #15572
    
    Differential Revision: https://phabricator.haskell.org/D5112
    c46a5f20