• thomasw's avatar
    Fix Trac #10519 · f8563838
    thomasw authored
    Look through nested foralls when checking the validity of a partial type
    signature. The combination of D836 and D613 prompts this change.
    
    Test Plan: The test T10519 must pass
    
    Reviewers: simonpj, alanz, austin
    
    Reviewed By: simonpj, alanz, austin
    
    Subscribers: thomie, bgamari
    
    Differential Revision: https://phabricator.haskell.org/D994
    
    GHC Trac Issues: #10519
    f8563838
T10519.stderr 142 Bytes