... | ... | @@ -6,6 +6,7 @@ Those with an MR actually have code. |
|
|
|
|
|
- !1765: Preserve non-void constraints
|
|
|
- Should not remove inhabitation candidate stuff just yet, newtypes...
|
|
|
- Perhpas postpone test until get to RHS (pmc []), and then ask for `not (null (provideEvidence 1 delta))`
|
|
|
|
|
|
- !1851: refactoring `PmPat`.
|
|
|
|
... | ... | |