diff options
author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-02-27 23:48:30 -0800 |
---|---|---|
committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-03-02 15:59:02 -0800 |
commit | fb5cd9d6d6185afe6d4ef2f3df3f895b6d0abf4c (patch) | |
tree | ba77538afca8be56c6c4ea77e6f7afda817df418 /testsuite/tests/stranal/should_run | |
parent | e71068617d15b0fea65fe24e20c0ab0db9fc660f (diff) | |
download | haskell-fb5cd9d6d6185afe6d4ef2f3df3f895b6d0abf4c.tar.gz |
Properly represent abstract classes in Class and IfaceDecl
Summary:
Previously, abstract classes looked very much like normal
classes, except that they happened to have no methods,
superclasses or ATs, and they came from boot files. This
patch gives abstract classes a proper representation in
Class and IfaceDecl, by moving the things which are never
defined for abstract classes into ClassBody/IfaceClassBody.
Because Class is abstract, this change had ~no disruption
to any of the code in GHC; if you ask about the methods of
an abstract class, we'll just give you an empty list.
This also fixes a bug where abstract type classes were incorrectly
treated as representationally injective (they're not!)
Fixes #13347, and a TODO in the code.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Test Plan: validate
Reviewers: simonpj, bgamari, austin
Subscribers: goldfire, thomie
Differential Revision: https://phabricator.haskell.org/D3236
Diffstat (limited to 'testsuite/tests/stranal/should_run')
0 files changed, 0 insertions, 0 deletions