waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

feat: on fmt if label and name are the same only print one

This commit is contained in:
rvcas 2022-12-21 19:12:19 -05:00 committed by Lucas
parent 4c4e454ea3
commit 7867793bcd
2 changed files with 10 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
crates/aiken-lang/src/format.rs
View File

@ -1585,7 +1585,11 @@ impl<'a> Documentable<'a> for &'a ArgName {
ArgName::Named { name, .. } | ArgName::Discard { name, .. } => name.to_doc(), ArgName::Named { name, .. } | ArgName::Discard { name, .. } => name.to_doc(),
ArgName::LabeledDiscard { label, name, .. } ArgName::LabeledDiscard { label, name, .. }
| ArgName::NamedLabeled { label, name, .. } => { | ArgName::NamedLabeled { label, name, .. } => {
docvec![label, " ", name] if label == name {
name.to_doc()
} else {
docvec![label, " ", name]
}
} }
} }
} }

9
examples/sample/validators/swap.ak
View File

@ -3,21 +3,22 @@ use aiken/string
use aiken/hash.{Blake2b_224, Hash} use aiken/hash.{Blake2b_224, Hash}
use aiken/transaction.{ScriptContext} use aiken/transaction.{ScriptContext}
use aiken/transaction/credential.{VerificationKey} use aiken/transaction/credential.{VerificationKey}
pub type Datum { pub type Datum {
owner: Hash<Blake2b_224, VerificationKey>, owner: Hash<Blake2b_224, VerificationKey>,
} }
pub type Redeemer { pub type Redeemer {
msg: ByteArray, msg: ByteArray,
} }
pub fn spend(datum: Datum, redeemer: Redeemer, context: ScriptContext) -> Bool { pub fn spend(datum: Datum, redeemer: Redeemer, context: ScriptContext) -> Bool {
let must_say_hello = string.from_bytearray(redeemer.msg) == "Hello, World!" let must_say_hello = string.from_bytearray(redeemer.msg) == "Hello, World!"
let must_be_signed = let must_be_signed =
context.transaction.extra_signatories context.transaction.extra_signatories
|> list.any(fn(vk) { vk == datum.owner }) |> list.any(fn(vk) { vk == datum.owner })
must_say_hello && must_be_signed must_say_hello && must_be_signed
} }