... | ... | @@ -42,6 +42,32 @@ The old syntax which allowed quotes to be prefixed by `$` has been removed. |
|
|
|
|
|
1. A single set of constraints corresponds to a set of required rather than provided constraints.
|
|
|
|
|
|
|
|
|
For example:
|
|
|
|
|
|
```wiki
|
|
|
--before
|
|
|
|
|
|
pattern P1 :: prov => req => ty
|
|
|
|
|
|
pattern P2 :: prov => ty
|
|
|
|
|
|
pattern P3 :: () => req => ty
|
|
|
|
|
|
pattern P4 :: ty
|
|
|
|
|
|
-- after
|
|
|
|
|
|
pattern P1 :: req => prov => ty
|
|
|
|
|
|
pattern P2 :: () => prov => ty
|
|
|
|
|
|
pattern P3 :: req => ty
|
|
|
|
|
|
pattern P4 :: ty
|
|
|
|
|
|
```
|
|
|
|
|
|
---
|
|
|
|
|
|
## Library changes
|
... | ... | |