From ec144fa22011b3fb7558533711e726981c2412a6 Mon Sep 17 00:00:00 2001 From: KtorZ Date: Fri, 17 Feb 2023 11:24:33 +0100 Subject: [PATCH] Make 'choose_data' builtin available. --- crates/aiken-lang/src/builtins.rs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/crates/aiken-lang/src/builtins.rs b/crates/aiken-lang/src/builtins.rs index 10021c1e..eaa8183c 100644 --- a/crates/aiken-lang/src/builtins.rs +++ b/crates/aiken-lang/src/builtins.rs @@ -578,9 +578,13 @@ pub fn from_default_function( 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 // there's no need to support builtin for those. - DefaultFunction::ChooseData => None, DefaultFunction::MkPairData => None, DefaultFunction::MkNilData => None, DefaultFunction::MkNilPairData => None,