• Piyush P Kurur's avatar
    Support typechecking of type literals in backpack · 7d771987
    Piyush P Kurur authored
    Backpack is unable to type check signatures that expect a data which
    is a type level literal. This was reported in issue #15138. These
    commits are a fix for this. It also includes a minimal test case that
    was mentioned in the issue.
    
    Reviewers: bgamari, ezyang, goldfire
    
    Reviewed By: bgamari, ezyang
    
    Subscribers: simonpj, ezyang, rwbarton, thomie, carter
    
    GHC Trac Issues: #15138
    
    Differential Revision: https://phabricator.haskell.org/D4951
    7d771987
TcRnDriver.hs 118 KB