Skip to content

Commit

Permalink
chore: change builtin functions return types
Browse files Browse the repository at this point in the history
  • Loading branch information
mtshiba committed Jan 4, 2025
1 parent 7447971 commit b5d95e6
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions crates/erg_compiler/context/initialize/funcs.rs
Original file line number Diff line number Diff line change
Expand Up @@ -99,7 +99,7 @@ impl Context {
KW_ITERABLE,
poly(ITERABLE, vec![ty_tp(tuple_t(vec![T.clone(), U.clone()]))]),
)],
dict! { T.clone() => U.clone() }.into(),
out_dict_t(dict! { T.clone() => U.clone() }.into()),
)
.quantify();
let t_discard = nd_func(vec![kw(KW_OBJ, Obj)], None, NoneType);
Expand Down Expand Up @@ -381,7 +381,7 @@ impl Context {
let t_set = no_var_func(
vec![],
vec![kw(KW_ITERABLE, poly(ITERABLE, vec![ty_tp(T.clone())]))],
set_t(T.clone(), TyParam::erased(Nat)),
out_set_t(T.clone(), TyParam::erased(Nat)),
)
.quantify();
let t_slice = no_var_func(
Expand Down

0 comments on commit b5d95e6

Please sign in to comment.