... | ... | @@ -45,26 +45,22 @@ The old syntax which allowed quotes to be prefixed by `$` has been removed. |
|
|
|
|
|
For example:
|
|
|
|
|
|
```wiki
|
|
|
--before
|
|
|
|
|
|
pattern P1 :: prov => req => ty
|
|
|
|
|
|
pattern P2 :: prov => ty
|
|
|
```
|
|
|
--beforepatternP1:: prov => req => ty
|
|
|
|
|
|
pattern P3 :: () => req => ty
|
|
|
patternP2:: prov => ty
|
|
|
|
|
|
pattern P4 :: ty
|
|
|
patternP3::()=> req => ty
|
|
|
|
|
|
patternP4:: ty
|
|
|
|
|
|
|
|
|
-- after patternP1:: req => prov => ty
|
|
|
|
|
|
|
|
|
patternP2::()=> prov => ty
|
|
|
|
|
|
|
|
|
patternP3:: req => ty
|
|
|
|
|
|
|
|
|
patternP4:: ty
|
|
|
|
|
|
```
|
|
|
|
... | ... | |