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 1f1e68712c
commit d3344528b3
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -910,27 +910,27 @@ pub fn from_default_function(builtin: DefaultFunction, id_gen: &IdGenerator) ->
} }
DefaultFunction::AndByteString => { DefaultFunction::AndByteString => {
let tipo = Type::function( let tipo = Type::function(
vec![Type::byte_array(), Type::byte_array()], vec![Type::bool(), Type::byte_array(), Type::byte_array()],
Type::byte_array(), Type::byte_array(),
); );
(tipo, 2) (tipo, 3)
} }
DefaultFunction::OrByteString => { DefaultFunction::OrByteString => {
let tipo = Type::function( let tipo = Type::function(
vec![Type::byte_array(), Type::byte_array()], vec![Type::bool(), Type::byte_array(), Type::byte_array()],
Type::byte_array(), Type::byte_array(),
); );
(tipo, 2) (tipo, 3)
} }
DefaultFunction::XorByteString => { DefaultFunction::XorByteString => {
let tipo = Type::function( let tipo = Type::function(
vec![Type::byte_array(), Type::byte_array()], vec![Type::bool(), Type::byte_array(), Type::byte_array()],
Type::byte_array(), Type::byte_array(),
); );
(tipo, 2) (tipo, 3)
} }
DefaultFunction::ComplementByteString => { DefaultFunction::ComplementByteString => {
let tipo = Type::function(vec![Type::byte_array()], Type::byte_array()); let tipo = Type::function(vec![Type::byte_array()], Type::byte_array());