• Ryan Scott's avatar
    Fix #14888 by adding more special cases for ArrowT · 6ee831f2
    Ryan Scott authored
    Summary:
    There were previously some situations where `(->)` would
    not be desugared or reified as `ArrowT`, leading to various oddities
    such as those observed in #14888. We now uniformly treat `(->)` as
    `ArrowT` in Template Haskell–world by checking for any tycon that
    has the same name as `(->)`, and converting that to `ArrowT`.
    
    Test Plan: make test TEST=T14888
    
    Reviewers: goldfire, bgamari, simonpj
    
    Reviewed By: goldfire, simonpj
    
    Subscribers: simonpj, rwbarton, thomie, carter
    
    GHC Trac Issues: #14888
    
    Differential Revision: https://phabricator.haskell.org/D4466
    6ee831f2
all.T 17.7 KB