Allow unconstrained existential contexts in newtypes
|Reported by:||guest||Owned by:|
|Keywords:||Cc:||pumpkingod@…, ireney.knapp@…, mokus@…|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||Blocked By:|
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 (10)
comment:5 Changed 2 years ago by pumpkin
- Cc pumpkingod@… added
- Resolution wontfix deleted
- Status changed from closed to new
- Type of failure set to None/Unknown
Note: See TracTickets for help on using tickets.