• msosn's avatar
    Fix inconsistent pretty-printing of type families · c61759d5
    msosn authored
    After the changes, the three functions used to print type families
    were identical, so they are refactored into one.
    
    Original RHSs of data instance declarations are recreated and
    printed in user error messages.
    
    RHSs containing representation TyCons are printed in the
    Coercion Axioms section in a typechecker dump.
    
    Add vbar to the list of SDocs exported by Outputable.
    Replace all text "|" docs with it.
    
    Fixes #10839
    
    Reviewers: goldfire, jstolarek, austin, bgamari
    
    Reviewed By: jstolarek
    
    Subscribers: jstolarek, thomie
    
    Differential Revision: https://phabricator.haskell.org/D1441
    
    GHC Trac Issues: #10839
    c61759d5
TcValidity.hs 56.6 KB