diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-05-18 12:15:39 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-05-22 21:57:47 -0400 |
commit | ea895b94afeecb111f8001fbd60f5d4c8828213c (patch) | |
tree | d7f4da05089794e796a8a805b48dc59319001988 /HACKING.md | |
parent | 7edd991e5d00a1ba19f3607fe8a66bbdc3ab3181 (diff) | |
download | haskell-ea895b94afeecb111f8001fbd60f5d4c8828213c.tar.gz |
Consider the stage of typeable evidence when checking stage restriction
We were considering all Typeable evidence to be "BuiltinInstance"s which
meant the stage restriction was going unchecked. In-fact, typeable has
evidence and so we need to apply the stage restriction.
This is
complicated by the fact we don't generate typeable evidence and the
corresponding DFunIds until after typechecking is concluded so we
introcue a new `InstanceWhat` constructor, BuiltinTypeableInstance which
records whether the evidence is going to be local or not.
Fixes #21547
Diffstat (limited to 'HACKING.md')
0 files changed, 0 insertions, 0 deletions