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

add type signatures for new builtins.

This commit is contained in:
KtorZ 2024-12-07 14:25:12 +01:00
parent 96b864f655
commit 1f1e68712c
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 77 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -908,19 +908,83 @@ pub fn from_default_function(builtin: DefaultFunction, id_gen: &IdGenerator) ->
(tipo, 2)
}
DefaultFunction::AndByteString => todo!(),
DefaultFunction::OrByteString => todo!(),
DefaultFunction::XorByteString => todo!(),
DefaultFunction::ComplementByteString => todo!(),
DefaultFunction::ReadBit => todo!(),
DefaultFunction::WriteBits => todo!(),
DefaultFunction::ReplicateByte => todo!(),
DefaultFunction::ShiftByteString => todo!(),
DefaultFunction::RotateByteString => todo!(),
DefaultFunction::CountSetBits => todo!(),
DefaultFunction::FindFirstSetBit => todo!(),
DefaultFunction::Ripemd_160 => todo!(),
DefaultFunction::ExpModInteger => todo!(),
DefaultFunction::AndByteString => {
let tipo = Type::function(
vec![Type::byte_array(), Type::byte_array()],
Type::byte_array(),
);
(tipo, 2)
}
DefaultFunction::OrByteString => {
let tipo = Type::function(
vec![Type::byte_array(), Type::byte_array()],
Type::byte_array(),
);
(tipo, 2)
}
DefaultFunction::XorByteString => {
let tipo = Type::function(
vec![Type::byte_array(), Type::byte_array()],
Type::byte_array(),
);
(tipo, 2)
}
DefaultFunction::ComplementByteString => {
let tipo = Type::function(vec![Type::byte_array()], Type::byte_array());
(tipo, 1)
}
DefaultFunction::ReadBit => {
let tipo = Type::function(vec![Type::byte_array(), Type::int()], Type::bool());
(tipo, 2)
}
DefaultFunction::WriteBits => {
let tipo = Type::function(
vec![Type::byte_array(), Type::list(Type::int()), Type::bool()],
Type::byte_array(),
);
(tipo, 3)
}
DefaultFunction::ReplicateByte => {
let tipo = Type::function(vec![Type::int(), Type::int()], Type::byte_array());
(tipo, 2)
}
DefaultFunction::ShiftByteString => {
let tipo = Type::function(vec![Type::byte_array(), Type::int()], Type::byte_array());
(tipo, 2)
}
DefaultFunction::RotateByteString => {
let tipo = Type::function(vec![Type::byte_array(), Type::int()], Type::byte_array());
(tipo, 2)
}
DefaultFunction::CountSetBits => {
let tipo = Type::function(vec![Type::byte_array()], Type::int());
(tipo, 1)
}
DefaultFunction::FindFirstSetBit => {
let tipo = Type::function(vec![Type::byte_array()], Type::int());
(tipo, 1)
}
DefaultFunction::Ripemd_160 => {
let tipo = Type::function(vec![Type::byte_array()], Type::byte_array());
(tipo, 1)
}
DefaultFunction::ExpModInteger => {
let tipo = Type::function(vec![Type::int(), Type::int(), Type::int()], Type::int());
(tipo, 3)
}
};
ValueConstructor::public(