testsuite/tests/simplCore/should_run/T21575.hs · 5643ecf97150805032203bd9c8c92b5ded54d724 · Reinier Maas / GHC

Forked from Glasgow Haskell Compiler / GHC

5816 commits behind the upstream repository.

2 years ago

Use a class to check validity of withDict · 3bd7d5d6

Krzysztof Gogolewski authored 2 years ago

This moves handling of the magic 'withDict' function from the desugarer
to the typechecker. Details in Note [withDict].

I've extracted a part of T16646Fail to a separate file T16646Fail2,
because the new error in 'reify' hides the errors from 'f' and 'g'.

WithDict now works with casts, this fixes #21328.

Part of #19915

3bd7d5d6

History

Use a class to check validity of withDict

Krzysztof Gogolewski authored 2 years ago

This moves handling of the magic 'withDict' function from the desugarer
to the typechecker. Details in Note [withDict].

I've extracted a part of T16646Fail to a separate file T16646Fail2,
because the new error in 'reify' hides the errors from 'f' and 'g'.

WithDict now works with casts, this fixes #21328.

Part of #19915

Code owners

Assign users and groups as approvers for specific file changes. Learn more.

T21575.hs 2.56 KiB