Changes between Initial Version and Version 1 of Ticket #14331, comment 51
- Timestamp:
- Jan 11, 2018 5:33:27 PM (2 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #14331, comment 51
initial v1 14 14 15 15 This is currently accepted and in the testsuite as `deriving/should_compile/T11732c`. I think this should fail, because it requires unifying `k` with `Type`. There is useful commentary in #11732. 16 17 In my work on #14066, I had to remove this line from the test case, leaving a note pointing to this ticket. Please update the test case when this ticket is finally put to rest.