Fix extraneous space added after multiline alternative patterns

This commit is contained in:
KtorZ 2024-09-19 20:23:56 +02:00
parent dd77fa7e53
commit 83ac723a50
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
3 changed files with 6 additions and 5 deletions

View File

@ -12,6 +12,7 @@
- **aiken-project**: Provide intermediate feedback when looking for counterexamples during property tests. @KtorZ
- **aiken-lang**: Fix formatter adding extra unnecessary newlines after literal lists clause values or assignments. @KtorZ
- **aiken-lang**: Fix formatting of long multi-line if/is expressions. @KtorZ
- **aiken-lang**: Fix extraneous white-space added by the formatter after multiline alternative patterns. @KtorZ
- **uplc**: Fix cost-models for PlutusV1 & PlutusV2. @MicroProofs
### Removed

View File

@ -1901,7 +1901,7 @@ impl<'comments> Formatter<'comments> {
let space_before = self.pop_empty_lines(clause.location.start);
let clause_doc = join(
clause.patterns.iter().map(|p| self.pattern(p)),
break_(" | ", " | "),
break_(" |", " | "),
)
.group();

View File

@ -11,13 +11,13 @@ validator direct_proxy {
RegisterDelegateRepresentative {
delegate_representative: credential,
..
} |
} |
UnregisterDelegateRepresentative {
delegate_representative: credential,
..
} |
RegisterCredential { credential, .. } |
UnregisterCredential { credential, .. } |
} |
RegisterCredential { credential, .. } |
UnregisterCredential { credential, .. } |
RegisterAndDelegateCredential { credential, .. } ->
credential == Script(policy_id)
_ -> False