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

fix: unused validator args had an incorrect if check

This commit is contained in:
Kasey White 2023-04-03 15:59:58 -04:00 committed by Kasey
parent 3f45b524b8
commit f4ba6b8985
6 changed files with 19 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/aiken-lang/src/gen_uplc.rs
View File

@ -4804,7 +4804,7 @@ impl<'a> CodeGenerator<'a> {
for (index, arg) in arguments.iter().enumerate().rev() { for (index, arg) in arguments.iter().enumerate().rev() {
if !(has_context && index == arguments.len() - 1) if !(has_context && index == arguments.len() - 1)
|| arg.arg_name.get_variable_name().unwrap_or("_") != "_" && arg.arg_name.get_variable_name().unwrap_or("_") != "_"
{ {
let mut air_stack = AirStack::new(self.id_gen.clone()); let mut air_stack = AirStack::new(self.id_gen.clone());

8
examples/acceptance_tests/036/plutus.json
View File

File diff suppressed because one or more lines are too long

4
examples/acceptance_tests/047/plutus.json
View File

@ -19,8 +19,8 @@
"$ref": "#/definitions/Void" "$ref": "#/definitions/Void"
} }
}, },
"compiledCode": "58660100003232323232323232232232253330084a22930b19000a99980319b8748000c020dd50008a4c2c64002a66600866e1d2000300637540022930b180080091129998038010a4c26600a600260100046660060066012004002ae695cdaab9d5573eae855d11", "compiledCode": "583b0100003232323232323222253330064a22930b180080091129998030010a4c26600a6002600e0046660060066010004002ae695cdaab9f5742ae89",
"hash": "81fc2314e93ebbe261c6bf0adf0ce9fb451ab7c9df160037c426fb91" "hash": "e37db487fbd58c45d059bcbf5cd6b1604d3bec16cf888f1395a4ebc4"
} }
], ],
"definitions": { "definitions": {

4
examples/acceptance_tests/071/plutus.json
View File

File diff suppressed because one or more lines are too long

8
examples/acceptance_tests/077/plutus.json
View File

File diff suppressed because one or more lines are too long

12
examples/acceptance_tests/script_context/plutus.json
View File

@ -19,8 +19,8 @@
"$ref": "#/definitions/Void" "$ref": "#/definitions/Void"
} }
}, },
"compiledCode": "5904620100003232323232323232323232323232222533300a323232300200132323232323233017333012323330133375e6601e6022002900b26126d8799f58200000000000000000000000000000000000000000000000000000000000000000ff004a0944cc038c04002520004c0103d87a80004c0103d879800033017333012323253330143370e900100089919299980b19baf33012301400148001300126d8799f58200000000000000000000000000000000000000000000000000000000000000000ff0013370e6eb4cc048c050005200248000528180d80098090010b1809000998071808004a4004980103d87a80004c0103d8798000330173330123232533301800116132533301900113232300c0013301b3330163375e6e98dd599809180a000a40046e98c0152080a8d6b9074c0103d87a80004c0103d87980003301b3330163375e660246028660246028002900024000980122d8799f581c11111111111111111111111111111111111111111111111111111111ff004c0103d87a80004c0103d87980003301b333016323253330183370e9000000899250301600214a2602c002660246028660246028002900024004980103d87a80004c0103d87980003301b3330163375e660246028002900219ba5480012f5c098103d87a80004c0103d87980003301b3330163375e660246028002900319ba5480092f5c098103d87a80004c0103d87980004bd70180d8010b180d8009bac3300f301100148010cc038c04002520004c0103d87a80004c0103d879800033017333012323375e6e98dd5998079808800a400c6e98c00920543300e30100094800130103d87a80004c0103d87980004bd7011999111919000999991111999805002001801000a5eb7bdb180010004020cccc8888cccc03001000c0080052f5bded8c000400200e9101004881000013001001222225333018004133019337606ea400cdd300125eb7bdb1804c8c8c8c94ccc060cdd79980280380099ba5480012f5c026603a66ec0dd48039ba6006008153330183371e00e00226603a66ec0dd48039ba600600313301d337606ea4004dd3001199998048048018038030029bae301900337566032004603800a603400844a66602066e400080044cdd2a400097ae0153330103371e004002266e9520024bd70099ba5480112f5c0600200244444a66602a00826602c66ec0dd48019ba80024bd6f7b630099191919299980a99baf330050070013374a900025eb804cc068cdd81ba9007375000c0102a66602a66e3c01c0044cc068cdd81ba9007375000c00626603466ec0dd48009ba800233333009009003007006005375c602c0066eb4c058008c064014c05c010c004004894ccc0400045288991929998070010998020020008a5030140023370e900118071baa3012001149858c0040048894ccc0300085261330093001300e002333003003300f00200133001001480008888cccc01ccdc38008018069199980280299b8000448008c03c0040080088c018dd5000918021baa0015734ae6d55ceaab9e5573eae815d0aba21", "compiledCode": "5904560100003232323232323232323232323232222533300a323232300200132323232323233017333012323330133375e6601e6022002900b26126d8799f58200000000000000000000000000000000000000000000000000000000000000000ff004a0944cc038c04002520004c0103d87a80004c0103d879800033017333012323253330143370e900100089919299980b19baf33012301400148001300126d8799f58200000000000000000000000000000000000000000000000000000000000000000ff0013370e6eb4cc048c050005200248000528180d80098090010b1809000998071808004a4004980103d87a80004c0103d8798000330173330123232533301800116132533301900113232300c0013301b3330163375e6e98dd599809180a000a40046e98c0152080a8d6b9074c0103d87a80004c0103d87980003301b3330163375e660246028660246028002900024000980122d8799f581c11111111111111111111111111111111111111111111111111111111ff004c0103d87a80004c0103d87980003301b333016323253330183370e9000000899250301600214a2602c002660246028660246028002900024004980103d87a80004c0103d87980003301b3330163375e660246028002900219ba5480012f5c098103d87a80004c0103d87980003301b3330163375e660246028002900319ba5480092f5c098103d87a80004c0103d87980004bd70180d8010b180d8009bac3300f301100148010cc038c04002520004c0103d87a80004c0103d879800033017333012323375e6e98dd5998079808800a400c6e98c00920543300e30100094800130103d87a80004c0103d87980004bd701299980919b870014800052f5bded8c026464002666600697adef6c6048810000100533330054bd6f7b630245000010043001001222225333018004133019337606ea400cdd300125eb7bdb1804c8c8c8c94ccc060cdd79980280380099ba5480012f5c026603a66ec0dd48039ba6006008153330183371e00e00226603a66ec0dd48039ba600600313301d337606ea4004dd3001199998048048018038030029bae301900337566032004603800a603400844a66602066e400080044cdd2a400097ae0153330103371e004002266e9520024bd70099ba5480112f5c0600200244444a66602a00826602c66ec0dd48019ba80024bd6f7b630099191919299980a99baf330050070013374a900025eb804cc068cdd81ba9007375000c0102a66602a66e3c01c0044cc068cdd81ba9007375000c00626603466ec0dd48009ba800233333009009003007006005375c602c0066eb4c058008c064014c05c010c004004894ccc0400045288991929998070010998020020008a5030140023370e900118071baa3012001149858c0040048894ccc0300085261330093001300e002333003003300f00200133001001480008888cccc01ccdc38008018069199980280299b8000448008c03c0040080088c018dd5000918021baa0015734ae6d55ceaab9e5573eae815d0aba201",
"hash": "fb51238a4a27b7bbd065a1bac1c61cc6dde1f0b896af4097258fba0d" "hash": "4a725c91164ea94103f0a261f46176a49ee7ae35bba4daea87dbece3"
}, },
{ {
"title": "deploy.spend", "title": "deploy.spend",
@ -36,8 +36,8 @@
"$ref": "#/definitions/Data" "$ref": "#/definitions/Data"
} }
}, },
"compiledCode": "5903df010000323232323232323232323232323232222533300a32323230020013301233300c32323375e0040026601c93260103d87980000054c103d87a80004c0103d87980003301233300c32323232323232330143253330143370e900000089919299980d980f0010a4c2a66030921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603800260240042a6602c9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200153330133375e98106d8799f182aff0000113370e64600a00200690020a503019001300f3253330123370e9000180880088008a9980a24812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163322330060020010013237280026ecd30106d8799f182aff00375666018601c66018601c00e900024028600200244a66602a0022900009919b8048008cc00c00c004c060004c0040048894ccc0500084cdd2a400497ae013232323253330133371e00a002266e952000330190024bd7009998038038018029bae30150033015002301800330160024c0103d87a80004c0103d87980003301233300c32533301200116132533301300116132323232533301232323009001330193330133375e6601e6022002900226126d87a9f5820fcaa61fb85676101d9e3398a484674e71c45c3fd41b492682f3b0054f4cf3273ff004c0103d87a80004c0103d8798000330193330133375e6601e60220029003260122d8799f581ce37db487fbd58c45d059bcbf5cd6b1604d3bec16cf888f1395a4ebc4ff004c0103d87a80004c0103d87980004bd700010991918048009980c99980999baf3300f30113300f30110014800120024c012ad8799fd8799fd8799f581c66666666666666666666666666666666666666666666666666666666ffffff004c0103d87a80004c0103d879800033019333013323253330153370e900200089925130130021630130013300f30110014801130103d87a80004c0103d87980004bd700008a503018004301700416301600130150013758660106014660106014006900024008980103d87a80004c0103d87980004bd7018008009129998088008a5113232533300e00213300400400114a0602a00466e1d2002300f375460260022930b180080091129998068010a4c2660126002601e00466600600660200040026600200290001111199980399b8700100300e233330050053370000890011808000801001118039baa001230053754002ae695cdab9c5573aaae7955cfaba05742ae881", "compiledCode": "5903d2010000323232323232323232323232323232222533300a32323230020013301233300c323375e00c0026601a93260103d87980004c0103d87a80004c0103d87980003301233300c32323232323232330143253330143370e900000089919299980d980f0010a4c2a66030921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603800260240042a6602c9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200153330133375e98106d8799f182aff0000113370e600800690020a503019001300f3253330123370e9000180880088008a9980a2492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001632330050020013237280026ecd300106d8799f182aff00375666018601c66018601c00e900024028600200244a66602a0022900009919b8048008cc00c00c004c060004c0040048894ccc0500084cdd2a400497ae013232323253330133371e00a002266e952000330190024bd7009998038038018029bae30150033015002301800330160024c0103d87a80004c0103d87980003301233300c325333012001161325333013001161323232325333012323008001330183330123375e6601c6020004900226126d87a9f5820fcaa61fb85676101d9e3398a484674e71c45c3fd41b492682f3b0054f4cf3273ff004c0103d87a80004c0103d8798000330183330123375e6601c60200049003260122d8799f581ce37db487fbd58c45d059bcbf5cd6b1604d3bec16cf888f1395a4ebc4ff004c0103d87a80004c0103d87980004bd7009918040009980c19980919baf3300e30103300e30100014800120024c12ad8799fd8799fd8799f581c66666666666666666666666666666666666666666666666666666666ffffff004c0103d87a80004c0103d879800033018333012323253330143370e900200089925130120021630120013300e30100014801130103d87a80004c0103d87980004bd700a50301800430170041630160013015001375866010601466010601400690002400898103d87a80004c0103d87980004bd7018008009129998088008a5113232533300e00213300400400114a0602a00466e1d2002300f375460260022930b180080091129998068010a4c2660126002601e00466600600660200040026600200290001111199980399b8700100300e233330050053370000890011808000801001118039baa001230053754002ae695cdab9c5573aaae7955cfaba05742ae881",
"hash": "8ed0a918d0bec1b8ddaaf305564c088cdc13ad7e7a547afa6c2b1309" "hash": "3ab65cdb6fb775e03c617b70aa23455d7a4fe85390c6ff6b7fa034e6"
}, },
{ {
"title": "mint.mint", "title": "mint.mint",
@ -47,8 +47,8 @@
"$ref": "#/definitions/Data" "$ref": "#/definitions/Data"
} }
}, },
"compiledCode": "5904820100003232323232323232323232323232322253330093232323001003300100122533301100114a226464a66601c0042660080080022940c054008cdc3a4004601e6ea8c04c004cc03cccc024c8c8c8c8c8c8c94ccc054c0600084c8c8cdc78018009bae3018001300e3253330113370e9000180800088008a99809a4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300c300e0034800854cc0492401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602c00264646464600c002002002646400266446601000400200291100001375666014601866014601800290002401000a600200244a666024002297ae01323232323301737520026600c00c0066eb8c04c00cdd59809801180b001180a000980080091129998088010a5eb7bdb1804c8c8c8c94ccc040cdc7802800880189980b19bb037520026e98008ccc01c01c00c014dd718090019bab3012002301500330130024c103d87a80004c0103d87980003300f333009323232323322323232323253330143370e90010008b0991919b87001483c850dd6980e00098090011809000999119804001000800a44103666f6f0033223233223253330173370e90010008801099190009bab301f001301500330150020014bd6f7b6301991198058010008010009bab3300d300f00348020004dd7180b8009806a99980799b8748000c038008400854cc0452412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633009300b00548008cc024c02c01520003001001222533301300213374a900125eb804c8c8c8c94ccc048cdc7802800899ba548000cc060dd400125eb804ccc01c01c00c014dd7180a0019bad3014002301700330150023001001222533301100213374a900125eb804c8c8c8c94ccc040cdc7802800899ba548000cc058dd300125eb804ccc01c01c00c014dd718090019bab3012002301500330130024c103d87a80004c0103d87980003300f333009323232323322323253330113375e006002266e1cc8c018004dd5998069807998069807802240009009240042940c05c004c034c94ccc040cdc3a4000601e00220022a660249212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016332233007002001375666016601a66016601a00490002402466016601a004900100280318008009129998090008a400026466e0120023300300300130150013001001222533301100213374a900125eb804c8c8c8c94ccc040cdd7802800899ba548000cc0580092f5c0266600e00e00600a60240066024004602a0066026004980103d87a80004c0103d87980004bd700a4c2c6002002444a66601a00429309980498009807801199801801980800100099800800a40004444666600e66e1c00400c0388cccc014014cdc00022400460200020040044600e6ea80048c014dd5000ab9a5736ae7155ceaab9e5573eae815d0aba201", "compiledCode": "59045f0100003232323232323232323232323232322253330093232323001003300100122533301100114a226464a66601c0042660080080022940c054008cdc3a4004601e6ea8c04c004cc03cccc024c8c8c8c8c8c94ccc050c05c0084c8c8cdc78018009bae3017001300d3253330103370e9000180780088008a9980924812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300b300d0074800854cc0452401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602a00264646006002640026600800291100375666012601666012601600a900024010600200244a666024002297ae01323232323301737520026600c00c0066eb8c04c00cdd59809801180b001180a000980080091129998088010a5eb7bdb1804c8c8c8c94ccc040cdc7802800880189980b19bb037520026e98008ccc01c01c00c014dd718090019bab3012002301500330130024c103d87a80004c0103d87980003300f333009323232323322323232323253330143370e90010008b0991919b87001483c850dd6980e0009809001180900099803000a44103666f6f003322323253330153370e90010008a5eb7bdb1804c8c8004dd5980e80098098011809800998048010009bab3300d300f00348020004dd7180b8009806a99980799b8748000c038008400854cc0452412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633009300b00548008cc024c02c01520003001001222533301300213374a900125eb804c8c8c8c94ccc048cdc7802800899ba548000cc060dd400125eb804ccc01c01c00c014dd7180a0019bad3014002301700330150023001001222533301100213374a900125eb804c8c8c8c94ccc040cdc7802800899ba548000cc058dd300125eb804ccc01c01c00c014dd718090019bab3012002301500330130024c103d87a80004c0103d87980003300f333009323232323232533300f3375e010002266e1cc8c010004dd5998059806998059806803a40009009240042940c054004c02cc94ccc038cdc3a4000601a00220022a660209212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016332233005002001375666012601666012601600a90002402466012601600a900118008009129998090008a400026466e0120023300300300130150013001001222533301100213374a900125eb804c8c8c8c94ccc040cdd7802800899ba548000cc0580092f5c0266600e00e00600a60240066024004602a0066026004980103d87a80004c0103d87980004bd700a4c2c6002002444a66601a00429309980498009807801199801801980800100099800800a40004444666600e66e1c00400c0388cccc014014cdc00022400460200020040044600e6ea80048c014dd5000ab9a5736ae7155ceaab9e5573eae815d0aba201",
"hash": "bfb5300db2017d35da65921fe782672da77ff7039831b23c59e57908" "hash": "519f0e30b662f3e719cb7552847882705de4a13f0d8a60e492c2692c"
}, },
{ {
"title": "withdrawals.spend", "title": "withdrawals.spend",