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

fix!: rename to_str -> __str__

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-09-13 16:48:20 +09:00
parent cfd0d259a0
commit a97b89c056
6 changed files with 21 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/erg_compiler/context/initialize/traits.rs
View file

@ -170,10 +170,10 @@ impl Context {
/* Show */
let mut show = Self::builtin_mono_trait(SHOW, 2);
let Slf = mono_q(SELF, subtypeof(mono(SHOW)));
let t_show = fn0_met(ref_(Slf), Str).quantify();
let t_str = fn0_met(ref_(Slf), Str).quantify();
show.register_builtin_decl(
TO_STR,
t_show,
FUNDAMENTAL_STR,
t_str,
Visibility::BUILTIN_PUBLIC,
Some(FUNDAMENTAL_STR),
);