language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 10:49:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: Dict.as_record

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-10-25 19:46:32 +09:00
parent a2a26e4584
commit 01ffde469a
8 changed files with 79 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

9
crates/erg_compiler/context/initialize/classes.rs
View file

@ -1810,6 +1810,15 @@ impl Context {
None,
)));
dict_.register_builtin_const(ITEMS, Visibility::BUILTIN_PUBLIC, items);
let as_record_t =
fn0_met(dict_t.clone(), proj_call(D.clone(), FUNC_AS_RECORD, vec![])).quantify();
let as_record = ValueObj::Subr(ConstSubr::Builtin(BuiltinConstSubr::new(
FUNC_AS_RECORD,
as_record,
as_record_t,
None,
)));
dict_.register_builtin_const(FUNC_AS_RECORD, Visibility::BUILTIN_PUBLIC, as_record);
let Def = type_q("Default");
let get_t = fn_met(
dict_t.clone(),