diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-06-10 15:25:36 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-06-11 09:27:42 -0400 |
| commit | 6a1d7f9736098d47463a71323d28ece792a59e52 (patch) | |
| tree | 13883326cdcfcb05c5322972cbd7fdf23f624617 /testsuite/tests/roles | |
| parent | 051d694fc978ad28ac3043d296cafddd3c2a7050 (diff) | |
| download | haskell-6a1d7f9736098d47463a71323d28ece792a59e52.tar.gz | |
Fix #9085.
Inaccessible equations in a closed type family now leads to a
warning, not an error. This echoes what happens at the term level.
Diffstat (limited to 'testsuite/tests/roles')
0 files changed, 0 insertions, 0 deletions