Opened 23 months ago

Last modified 9 months ago

#14401 new task

Add a test ensuring that TypeReps can be stored in compact regions

Reported by: dfeuer Owned by:
Priority: normal Milestone: 8.10.1
Component: Test Suite Version: 8.2.1
Keywords: Typeable Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


My work thus far on Phab:D4085 has involved TypeReps with cyclical structure. That bit me in break011 and break024 because :force doesn't work with cyclical structures. This would also have caused trouble for storing TypeReps in compact regions. If we eventually make :force work with cyclical structures (see #14400), then cyclical TypeReps won't break the test suite but might break user code using compact regions. So let's test for that.

Change History (5)

comment:1 Changed 23 months ago by simonpj

Indeed. But the tail should not wag the dog. We only get a cyclic TypeRep in one extremely specialised situation. If that situation causes major problems elsewhere, let's revisit TypeRep. E.g. we could have a special TypeRep for TYPE LiftedRep.

comment:2 Changed 23 months ago by bgamari


None of the TypeRep refinements will be merged until 8.4; bumping.

comment:3 Changed 20 months ago by bgamari


This ticket won't be resolved in 8.4; remilestoning for 8.6. Do holler if you are affected by this or would otherwise like to work on it.

comment:4 Changed 14 months ago by bgamari


These won't be fixed for in GHC 8.6.

comment:5 Changed 9 months ago by osa1


Bumping milestones of low-priority tickets.

Note: See TracTickets for help on using tickets.