diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-18 11:02:38 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-21 12:16:10 -0400 |
| commit | 1701255c06fed2aa2811f7f29f108d88fc4d6f26 (patch) | |
| tree | 2b9057eb1c4fb723553770bd058a1a921952bf83 /testsuite/tests/roles/should_compile/Roles13.stderr | |
| parent | 0706a103ae8c9c61e6bbaadd16b32da76aa5a749 (diff) | |
| download | haskell-1701255c06fed2aa2811f7f29f108d88fc4d6f26.tar.gz | |
Fix #11635 / #11719.
Instead of creating a new meta-tyvar and then unifying it with
a known kind in a KindedTyVar in a LHsQTyVars, just use the known kind.
Sadly, this still doesn't make #11719 usable, because while you can
now define a higher-kinded type family, you can't write any equations
for it, which is a larger problem.
test cases: dependent/should_compile/T{11635,11719}
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles13.stderr')
0 files changed, 0 insertions, 0 deletions