• Ryan Scott's avatar
    Fill in associated type defaults with DeriveAnyClass · 2f74be9c
    Ryan Scott authored
    Unlike `-XDefaultSignatures`, `-XDeriveAnyClass` would not fill in
    associated type family defaults when deriving a class which contained
    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
TcGenDeriv.hs 101 KB