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

Handle (though discard) first script purpose argument of publish and propose.

This commit is contained in:
KtorZ 2024-08-16 17:13:12 +02:00
parent 5943d94c6c
commit 6a6bf6f65f
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 34 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -324,14 +324,24 @@ impl<'a> CodeGenerator<'a> {
is_record: false, is_record: false,
location: Span::empty(), location: Span::empty(),
name: well_known::SCRIPT_PURPOSE_PUBLISH.to_string(), name: well_known::SCRIPT_PURPOSE_PUBLISH.to_string(),
arguments: vec![CallArg { arguments: vec![
label: None, CallArg {
location: Span::empty(), label: None,
value: TypedPattern::Var {
name: "__purpose_arg__".to_string(),
location: Span::empty(), location: Span::empty(),
value: TypedPattern::Var {
name: "__purpose_arg_ix__".to_string(),
location: Span::empty(),
},
}, },
}], CallArg {
label: None,
location: Span::empty(),
value: TypedPattern::Var {
name: "__purpose_arg__".to_string(),
location: Span::empty(),
},
},
],
module: None, module: None,
constructor: PatternConstructor::Record { constructor: PatternConstructor::Record {
name: well_known::SCRIPT_PURPOSE_PUBLISH.to_string(), name: well_known::SCRIPT_PURPOSE_PUBLISH.to_string(),
@ -339,7 +349,7 @@ impl<'a> CodeGenerator<'a> {
}, },
spread_location: None, spread_location: None,
tipo: Type::function( tipo: Type::function(
vec![Type::data()], vec![Type::int(), Type::data()],
Type::script_purpose(), Type::script_purpose(),
), ),
}, },
@ -372,14 +382,24 @@ impl<'a> CodeGenerator<'a> {
is_record: false, is_record: false,
location: Span::empty(), location: Span::empty(),
name: well_known::SCRIPT_PURPOSE_PROPOSE.to_string(), name: well_known::SCRIPT_PURPOSE_PROPOSE.to_string(),
arguments: vec![CallArg { arguments: vec![
label: None, CallArg {
location: Span::empty(), label: None,
value: TypedPattern::Var {
name: "__purpose_arg__".to_string(),
location: Span::empty(), location: Span::empty(),
value: TypedPattern::Var {
name: "__purpose_arg_ix__".to_string(),
location: Span::empty(),
},
}, },
}], CallArg {
label: None,
location: Span::empty(),
value: TypedPattern::Var {
name: "__purpose_arg__".to_string(),
location: Span::empty(),
},
},
],
module: None, module: None,
constructor: PatternConstructor::Record { constructor: PatternConstructor::Record {
name: well_known::SCRIPT_PURPOSE_PROPOSE.to_string(), name: well_known::SCRIPT_PURPOSE_PROPOSE.to_string(),
@ -387,7 +407,7 @@ impl<'a> CodeGenerator<'a> {
}, },
spread_location: None, spread_location: None,
tipo: Type::function( tipo: Type::function(
vec![Type::data()], vec![Type::int(), Type::data()],
Type::script_purpose(), Type::script_purpose(),
), ),
}, },