add dropFirst builtin

This commit is contained in:
Eric Newbury 2021-11-05 16:12:29 -04:00
parent 0fdd8ac1b4
commit f3a350dd74
4 changed files with 44 additions and 0 deletions

View file

@ -979,6 +979,13 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
Box::new(list_type(flex(TVAR1))),
);
// dropFirst : List elem -> List elem
add_top_level_function_type!(
Symbol::LIST_DROP_FIRST,
vec![list_type(flex(TVAR1))],
Box::new(list_type(flex(TVAR1))),
);
// swap : List elem, Nat, Nat -> List elem
add_top_level_function_type!(
Symbol::LIST_SWAP,