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 re.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-10-13 01:34:24 +09:00
parent b879788d2a
commit dcf41877cb
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/erg_compiler/context/initialize/py_mods/re.rs
View file

@ -1,7 +1,6 @@
use erg_common::vis::Visibility; use erg_common::vis::Visibility;
use crate::ty::constructors::{array_t, func, kw}; use crate::ty::constructors::{func, kw};
use crate::ty::typaram::TyParam;
use crate::ty::Type; use crate::ty::Type;
use Type::*; use Type::*;
@ -19,7 +18,7 @@ impl Context {
vec![kw("pattern", Str), kw("repl", Str), kw("string", Str)], vec![kw("pattern", Str), kw("repl", Str), kw("string", Str)],
None, None,
vec![kw("count", Nat)], vec![kw("count", Nat)],
array_t(Str, TyParam::erased(Nat)), Str,
), ),
Immutable, Immutable,
Public, Public,