diff options
| author | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2015-11-09 15:44:47 +0100 |
|---|---|---|
| committer | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2015-11-09 15:52:20 +0100 |
| commit | 3cfe60aebb9de2a1d897a111f779eacb6614b7cc (patch) | |
| tree | 89b43cd2b75013aa8923bd2662d1730f0018fbc0 /compiler/utils | |
| parent | f4056324ea30b31f9cec7bf9bafa72bb695f6951 (diff) | |
| download | haskell-3cfe60aebb9de2a1d897a111f779eacb6614b7cc.tar.gz | |
Abstract TFs can have injectivity information
Summary:
For abstract type families we incorrectly rejected their injectivity
annotation. Fixes #11007.
Test Plan: #6018
Reviewers: goldfire, austin, bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1453
GHC Trac Issues: #11007
Diffstat (limited to 'compiler/utils')
0 files changed, 0 insertions, 0 deletions