Opened 4 years ago

Closed 4 years ago

Last modified 4 years ago

#11716 closed bug (fixed)

Make TypeInType stress test work

Reported by: goldfire Owned by:
Priority: normal Milestone: 8.0.1
Component: Compiler Version: 8.1
Keywords: TypeInType Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case: dependent/should_compile/RaeJobTalk
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


I used the attached file during my job talk. It is good TypeInType stress test. This bug is to track several fixes that have been necessary to get it working. I have these fixes locally and will push in due course.

Attachments (1)

RaeJobTalk.hs (23.4 KB) - added by goldfire 4 years ago.

Download all attachments as: .zip

Change History (5)

Changed 4 years ago by goldfire

Attachment: RaeJobTalk.hs added

comment:1 Changed 4 years ago by Richard Eisenberg <eir@…>

In 3fe87aa0/ghc:

Fix #11716.

There were several smallish bugs here:
 - We had too small an InScopeSet when rejigging GADT return types.
 - When adding the extra_tvs with a datatype kind signature, we
   were sometimes changing Uniques of an explicitly bound kind var.
 - Using coercionKind in the flattener got the wrong visibility
   for a binder. Now we just zonk to get what we need.

Test case: dependent/should_compile/RaeJobTalk

comment:2 Changed 4 years ago by goldfire

Status: newmerge
Test Case: dependent/should_compile/RaeJobTalk

comment:3 Changed 4 years ago by bgamari

Last edited 4 years ago by bgamari (previous) (diff)

comment:4 Changed 4 years ago by bgamari

Resolution: fixed
Status: mergeclosed
Note: See TracTickets for help on using tickets.