Struct erg_compiler::hir::KwArg
source · Fields§
§keyword: Token§expr: ExprImplementations§
source§impl KwArg
impl KwArg
sourcepub const fn new(keyword: Token, expr: Expr) -> Self
pub const fn new(keyword: Token, expr: Expr) -> Self
Examples found in repository?
lower.rs (line 829)
792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917
pub(crate) fn lower_call(&mut self, call: ast::Call) -> LowerResult<hir::Call> {
log!(info "entered {}({}{}(...))", fn_name!(), call.obj, fmt_option!(call.attr_name));
let mut errs = LowerErrors::empty();
let opt_cast_to = if call.is_assert_cast() {
if let Some(typ) = call.assert_cast_target_type() {
Some(Parser::expr_to_type_spec(typ.clone()).map_err(|e| {
let e = LowerError::new(e.into(), self.input().clone(), self.ctx.caused_by());
LowerErrors::from(e)
})?)
} else {
return Err(LowerErrors::from(LowerError::syntax_error(
self.input().clone(),
line!() as usize,
call.args.loc(),
self.ctx.caused_by(),
"invalid assert casting type".to_owned(),
None,
)));
}
} else {
None
};
let (pos_args, kw_args, paren) = call.args.deconstruct();
let mut hir_args = hir::Args::new(
Vec::with_capacity(pos_args.len()),
None,
Vec::with_capacity(kw_args.len()),
paren,
);
for arg in pos_args.into_iter() {
match self.lower_expr(arg.expr) {
Ok(expr) => hir_args.pos_args.push(hir::PosArg::new(expr)),
Err(es) => errs.extend(es),
}
}
for arg in kw_args.into_iter() {
match self.lower_expr(arg.expr) {
Ok(expr) => hir_args.push_kw(hir::KwArg::new(arg.keyword, expr)),
Err(es) => errs.extend(es),
}
}
let mut obj = match self.lower_expr(*call.obj) {
Ok(obj) => obj,
Err(es) => {
errs.extend(es);
return Err(errs);
}
};
// Calling get_call_t with incorrect arguments does not provide meaningful information
if !errs.is_empty() {
return Err(errs);
}
let vi = match self.ctx.get_call_t(
&obj,
&call.attr_name,
&hir_args.pos_args,
&hir_args.kw_args,
&self.cfg.input,
&self.ctx.name,
) {
Ok(vi) => vi,
Err(es) => {
errs.extend(es);
return Err(errs);
}
};
let attr_name = if let Some(attr_name) = call.attr_name {
Some(hir::Identifier::new(
attr_name.dot,
attr_name.name,
None,
vi,
))
} else {
*obj.ref_mut_t() = vi.t;
None
};
let mut call = hir::Call::new(obj, attr_name, hir_args);
match call.additional_operation() {
Some(kind @ (OperationKind::Import | OperationKind::PyImport)) => {
let mod_name =
enum_unwrap!(call.args.get_left_or_key("Path").unwrap(), hir::Expr::Lit);
if let Err(errs) = self.ctx.import_mod(kind, mod_name) {
self.errs.extend(errs);
};
}
Some(OperationKind::Del) => match call.args.get_left_or_key("obj").unwrap() {
hir::Expr::Accessor(hir::Accessor::Ident(ident)) => {
self.ctx.del(ident)?;
}
other => {
return Err(LowerErrors::from(LowerError::syntax_error(
self.input().clone(),
line!() as usize,
other.loc(),
self.ctx.caused_by(),
"".to_owned(),
None,
)))
}
},
Some(OperationKind::Return | OperationKind::Yield) => {
// (f: ?T -> ?U).return: (self: GenericCallable, arg: Obj) -> Never
let callable_t = call.obj.ref_t();
let ret_t = match callable_t {
Type::Subr(subr) => *subr.return_t.clone(),
Type::FreeVar(fv) if fv.is_unbound() => {
fv.get_sub().unwrap().return_t().unwrap().clone()
}
other => todo!("{other:?}"),
};
let arg_t = call.args.get(0).unwrap().ref_t();
self.ctx.sub_unify(arg_t, &ret_t, call.loc(), None)?;
}
_ => {
if let Some(type_spec) = opt_cast_to {
self.ctx.cast(type_spec, &mut call)?;
}
}
}
if errs.is_empty() {
Ok(call)
} else {
Err(errs)
}
}