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

Make 'choose_data' builtin available.

This commit is contained in:
KtorZ 2023-02-17 11:24:33 +01:00
parent f10e9e8977
commit ec144fa220
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -578,9 +578,13 @@ pub fn from_default_function(
Some((tipo, 1)) Some((tipo, 1))
} }
DefaultFunction::ChooseData => {
let tipo = function(vec![data(), data(), data(), data(), data(), data()], data());
Some((tipo, 6))
}
// Anything below has a direct syntax equivalent in Aiken, so // Anything below has a direct syntax equivalent in Aiken, so
// there's no need to support builtin for those. // there's no need to support builtin for those.
DefaultFunction::ChooseData => None,
DefaultFunction::MkPairData => None, DefaultFunction::MkPairData => None,
DefaultFunction::MkNilData => None, DefaultFunction::MkNilData => None,
DefaultFunction::MkNilPairData => None, DefaultFunction::MkNilPairData => None,