Fold NullaryTypeClasses into MPTC
|Reported by:||owst||Owned by:|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):|
NullaryTypeClasses are an instance of MultiParamTypeClasses, so make it so.
Suggested by Austin on reddit
Change History (12)
Changed 2 years ago by owst
comment:6 Changed 2 years ago by monoidal
- Resolution set to fixed
- Status changed from patch to closed
Note: See TracTickets for help on using tickets.