language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-29 12:24:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update mod.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-09-19 00:55:54 +09:00
parent eb5986f8c9
commit d62e86d238
1 changed files with 26 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

45
compiler/erg_compiler/context/initialize/mod.rs
View file

@ -1449,7 +1449,6 @@ impl Context {
); );
let t_cond = quant(t_cond, set! {static_instance("T", Type)}); let t_cond = quant(t_cond, set! {static_instance("T", Type)});
let t_discard = nd_func(vec![param_t("old", Obj)], None, NoneType); let t_discard = nd_func(vec![param_t("old", Obj)], None, NoneType);
let t_id = nd_func(vec![param_t("old", Obj)], None, Nat);
// FIXME: quantify // FIXME: quantify
let t_if = func( let t_if = func(
vec![ vec![
@ -1475,21 +1474,20 @@ impl Context {
); );
let t_pyimport = nd_func(vec![param_t("path", Str)], None, Module); let t_pyimport = nd_func(vec![param_t("path", Str)], None, Module);
let t_quit = func(vec![], None, vec![param_t("code", Int)], NoneType); let t_quit = func(vec![], None, vec![param_t("code", Int)], NoneType);
self.register_builtin_impl("abs", t_abs, Const, Private); self.register_builtin_impl("abs", t_abs, Immutable, Private);
self.register_builtin_impl("assert", t_assert, Const, Private); self.register_builtin_impl("assert", t_assert, Const, Private); // assert casting に悪影響が出る可能性があるため、Constとしておく
self.register_builtin_impl("classof", t_classof, Const, Private); self.register_builtin_impl("classof", t_classof, Immutable, Private);
self.register_builtin_impl("compile", t_compile, Const, Private); self.register_builtin_impl("compile", t_compile, Immutable, Private);
self.register_builtin_impl("cond", t_cond, Const, Private); self.register_builtin_impl("cond", t_cond, Immutable, Private);
self.register_builtin_impl("discard", t_discard, Const, Private); self.register_builtin_impl("discard", t_discard, Immutable, Private);
self.register_builtin_impl("id", t_id, Const, Private); self.register_builtin_impl("if", t_if, Immutable, Private);
self.register_builtin_impl("if", t_if, Const, Private); self.register_builtin_impl("log", t_log, Immutable, Private);
self.register_builtin_impl("log", t_log, Const, Private); self.register_builtin_impl("import", t_import, Immutable, Private);
self.register_builtin_impl("import", t_import, Const, Private);
if cfg!(feature = "debug") { if cfg!(feature = "debug") {
self.register_builtin_impl("py", t_pyimport.clone(), Const, Private); self.register_builtin_impl("py", t_pyimport.clone(), Immutable, Private);
} }
self.register_builtin_impl("pyimport", t_pyimport, Const, Private); self.register_builtin_impl("pyimport", t_pyimport, Immutable, Private);
self.register_builtin_impl("quit", t_quit, Const, Private); self.register_builtin_impl("quit", t_quit, Immutable, Private);
} }
fn init_builtin_const_funcs(&mut self) { fn init_builtin_const_funcs(&mut self) {
@ -1547,6 +1545,12 @@ impl Context {
} }
fn init_builtin_procs(&mut self) { fn init_builtin_procs(&mut self) {
let t_dir = proc(
vec![param_t("obj", ref_(Obj))],
None,
vec![],
array(Str, TyParam::erased(Nat)),
);
let t_print = proc( let t_print = proc(
vec![], vec![],
Some(param_t("objects", ref_(Obj))), Some(param_t("objects", ref_(Obj))),
@ -1558,6 +1562,7 @@ impl Context {
], ],
NoneType, NoneType,
); );
let t_id = nd_func(vec![param_t("old", Obj)], None, Nat);
let t_input = proc(vec![], None, vec![param_t("msg", Str)], Str); let t_input = proc(vec![], None, vec![param_t("msg", Str)], Str);
let t_if = proc( let t_if = proc(
vec![ vec![
@ -1586,11 +1591,13 @@ impl Context {
None, None,
NoneType, NoneType,
); );
self.register_builtin_impl("print!", t_print, Const, Private); self.register_builtin_impl("dir!", t_dir, Immutable, Private);
self.register_builtin_impl("input!", t_input, Const, Private); self.register_builtin_impl("print!", t_print, Immutable, Private);
self.register_builtin_impl("if!", t_if, Const, Private); self.register_builtin_impl("id!", t_id, Immutable, Private);
self.register_builtin_impl("for!", t_for, Const, Private); self.register_builtin_impl("input!", t_input, Immutable, Private);
self.register_builtin_impl("while!", t_while, Const, Private); self.register_builtin_impl("if!", t_if, Immutable, Private);
self.register_builtin_impl("for!", t_for, Immutable, Private);
self.register_builtin_impl("while!", t_while, Immutable, Private);
} }
fn init_builtin_operators(&mut self) { fn init_builtin_operators(&mut self) {