diff options
| author | sjorn3 <sean.r.innes@googlemail.com> | 2017-01-02 21:57:04 +0000 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2017-01-02 21:58:56 +0000 |
| commit | c5609577fab8a214c50561bea861c70d4bfd47c7 (patch) | |
| tree | 207b9434eccb75d8663f08c5290631aefb6c01c1 /.mailmap | |
| parent | 9ff07382ed377d38d677e8785b34536c39894467 (diff) | |
| download | haskell-c5609577fab8a214c50561bea861c70d4bfd47c7.tar.gz | |
Disallow users to write instances of KnownNat and KnownSym
As noted in #12837, these classes are special and the user should
not be able to define their own instances.
Test Plan: Validate
Reviewers: adamgundry, goldfire, mpickering, austin, bgamari
Reviewed By: goldfire, mpickering
Subscribers: goldfire, mpickering, thomie
Differential Revision: https://phabricator.haskell.org/D2898
GHC Trac Issues: #12837
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions