• Ryan Scott's avatar
    Fill in associated type defaults with DeriveAnyClass · 2f74be9c
    Ryan Scott authored
    Summary:
    Unlike `-XDefaultSignatures`, `-XDeriveAnyClass` would not fill in
    associated type family defaults when deriving a class which contained
    them.
    
    In order to fix this properly, `tcATDefault` needed to be used from
    `TcGenDeriv`. To avoid a module import cycle, `tcATDefault` was moved
    from `TcInstDcls` to `TcClsDcl`.
    
    Fixes #10361.
    
    Test Plan: ./validate
    
    Reviewers: kosmikus, dreixel, bgamari, austin, simonpj
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D1283
    
    GHC Trac Issues: #10361
    2f74be9c
7.12.1-notes.rst 9.07 KB