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

feat: add IData and BData builtins

This commit is contained in:
rvcas 2022-12-21 14:26:05 -05:00 committed by Lucas
parent 429126e38f
commit 9df5005820
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
crates/lang/src/builtins.rs
View File

@ -374,8 +374,16 @@ pub fn from_default_function(
DefaultFunction::ConstrData => None,
DefaultFunction::MapData => None,
DefaultFunction::ListData => None,
DefaultFunction::IData => None,
DefaultFunction::BData => None,
DefaultFunction::IData => {
let tipo = function(vec![int()], data());
Some((tipo, 1))
}
DefaultFunction::BData => {
let tipo = function(vec![byte_array()], data());
Some((tipo, 1))
}
DefaultFunction::UnConstrData => None,
DefaultFunction::UnMapData => None,
DefaultFunction::UnListData => None,
@ -384,7 +392,7 @@ pub fn from_default_function(
DefaultFunction::EqualsData => {
let tipo = function(vec![data(), data()], bool());
Some((tipo, 1))
Some((tipo, 2))
}
DefaultFunction::SerialiseData => {
let tipo = function(vec![data()], byte_array());