language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-10-02 21:44:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add copy module

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-10-21 14:47:16 +09:00
parent b28c6bd118
commit ffd0816da8
2 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
compiler/erg_common/python_util.rs
View file

@ -6,7 +6,8 @@ use std::process::Command;
use crate::serialize::get_magic_num_from_bytes;
#[cfg(unix)]
pub const BUILTIN_PYTHON_MODS: [&str; 21] = [
pub const BUILTIN_PYTHON_MODS: [&str; 22] = [
"copy",
"datetime",
"glob",
"http",
@ -30,7 +31,8 @@ pub const BUILTIN_PYTHON_MODS: [&str; 21] = [
"zipfile",
];
#[cfg(not(unix))]
pub const BUILTIN_PYTHON_MODS: [&str; 20] = [
pub const BUILTIN_PYTHON_MODS: [&str; 21] = [
"copy",
"datetime",
"glob",
"http",

3
compiler/erg_compiler/lib/pystd/copy.d.er Normal file
View file

@ -0,0 +1,3 @@
.copy: |T: Type|(x: T) -> T
.deepcopy: |T: Type|(x: T) -> T
.Error: ClassType