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

Fix ordering for ScriptInfo type

Browse Source
This commit is contained in:
microproofs
2024-08-15 13:26:51 -04:00
committed by KtorZ
parent b9456b5946
commit 953ee6b5d1
6 changed files with 43 additions and 128 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
crates/aiken-lang/src/ast.rs
View File

@@ -429,14 +429,14 @@ impl TypedDataType {
constructors: vec![
RecordConstructor {
location: Span::empty(),
name: "__Spend".to_string(),
name: "__Mint".to_string(),
arguments: vec![],
doc: None,
sugar: false,
},
RecordConstructor {
location: Span::empty(),
name: "__Mint".to_string(),
name: "__Spend".to_string(),
arguments: vec![],
doc: None,
sugar: false,

32
crates/aiken-lang/src/builtins.rs
View File

@@ -665,26 +665,11 @@ pub fn prelude(id_gen: &IdGenerator) -> TypeInfo {
prelude.types_constructors.insert(
SCRIPT_PURPOSE.to_string(),
vec![
SCRIPT_PURPOSE_SPEND.to_string(),
SCRIPT_PURPOSE_MINT.to_string(),
SCRIPT_PURPOSE_SPEND.to_string(),
],
);
prelude.values.insert(
SCRIPT_PURPOSE_SPEND.to_string(),
ValueConstructor::public(
function(vec![data(), option(data())], script_purpose()),
ValueConstructorVariant::Record {
module: "".into(),
name: SCRIPT_PURPOSE_SPEND.to_string(),
field_map: None::<FieldMap>,
arity: 2,
location: Span::empty(),
constructors_count: SCRIPT_PURPOSES_COUNT,
},
),
);
prelude.values.insert(
SCRIPT_PURPOSE_MINT.to_string(),
ValueConstructor::public(
@@ -700,6 +685,21 @@ pub fn prelude(id_gen: &IdGenerator) -> TypeInfo {
),
);
prelude.values.insert(
SCRIPT_PURPOSE_SPEND.to_string(),
ValueConstructor::public(
function(vec![data(), option(data())], script_purpose()),
ValueConstructorVariant::Record {
module: "".into(),
name: SCRIPT_PURPOSE_SPEND.to_string(),
field_map: None::<FieldMap>,
arity: 2,
location: Span::empty(),
constructors_count: SCRIPT_PURPOSES_COUNT,
},
),
);
prelude.types.insert(
SCRIPT_PURPOSE.to_string(),
TypeConstructor {