Allow unconstrained existential contexts in newtypes
|Reported by:||guest||Owned by:|
|Keywords:||Cc:||pumpkingod@…, ireney.knapp@…, mokus@…, jake.mcarthur@…, sweirich@…, oerjan|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):|
newtype Bar = forall a. Bar (Foo a)
ought to be allowed so long as no typeclass constraints are added. Right now, this requires data rather than newtype.
Change History (21)
comment:5 Changed 4 years ago by pumpkin
- Cc pumpkingod@… added
- Resolution wontfix deleted
- Status changed from closed to new
- Type of failure set to None/Unknown
comment:13 follow-up: ↓ 14 Changed 17 months ago by pumpkin
Note: See TracTickets for help on using tickets.