From 317c44814cae2f11dad8652b4c6b54d2fb7231cb Mon Sep 17 00:00:00 2001 From: Shunsuke Shibayama Date: Fri, 16 Dec 2022 09:52:30 +0900 Subject: [PATCH] Add `d.er`s --- compiler/erg_compiler/lib/pystd/filecmp.d.er | 2 ++ compiler/erg_compiler/lib/pystd/functools.d.er | 2 ++ compiler/erg_compiler/lib/pystd/importlib.d/util.d.er | 0 compiler/erg_compiler/lib/pystd/os.d/__init__.d.er | 1 + compiler/erg_compiler/lib/pystd/pathlib.d.er | 7 +++++++ 5 files changed, 12 insertions(+) create mode 100644 compiler/erg_compiler/lib/pystd/filecmp.d.er create mode 100644 compiler/erg_compiler/lib/pystd/functools.d.er create mode 100644 compiler/erg_compiler/lib/pystd/importlib.d/util.d.er create mode 100644 compiler/erg_compiler/lib/pystd/pathlib.d.er diff --git a/compiler/erg_compiler/lib/pystd/filecmp.d.er b/compiler/erg_compiler/lib/pystd/filecmp.d.er new file mode 100644 index 00000000..98a4b436 --- /dev/null +++ b/compiler/erg_compiler/lib/pystd/filecmp.d.er @@ -0,0 +1,2 @@ +.cmp: (f1: File!, f2: File!, shallow := Bool) -> Bool +.cmpfiles: (dir1: PathLike, dir2: PathLike, common: [Str; _], shallow := Bool) -> Bool diff --git a/compiler/erg_compiler/lib/pystd/functools.d.er b/compiler/erg_compiler/lib/pystd/functools.d.er new file mode 100644 index 00000000..55c00a50 --- /dev/null +++ b/compiler/erg_compiler/lib/pystd/functools.d.er @@ -0,0 +1,2 @@ +.cache: |T <: Proc|(user_function: T) -> T +.lru_cache: |T <: Proc|(user_function: T) -> T diff --git a/compiler/erg_compiler/lib/pystd/importlib.d/util.d.er b/compiler/erg_compiler/lib/pystd/importlib.d/util.d.er new file mode 100644 index 00000000..e69de29b diff --git a/compiler/erg_compiler/lib/pystd/os.d/__init__.d.er b/compiler/erg_compiler/lib/pystd/os.d/__init__.d.er index 3c3ab046..ffb22c46 100644 --- a/compiler/erg_compiler/lib/pystd/os.d/__init__.d.er +++ b/compiler/erg_compiler/lib/pystd/os.d/__init__.d.er @@ -1,4 +1,5 @@ .path = pyimport "path" +.PathLike: ClassType .name: Str diff --git a/compiler/erg_compiler/lib/pystd/pathlib.d.er b/compiler/erg_compiler/lib/pystd/pathlib.d.er new file mode 100644 index 00000000..fa9481a1 --- /dev/null +++ b/compiler/erg_compiler/lib/pystd/pathlib.d.er @@ -0,0 +1,7 @@ +.PurePath: ClassType +.PurePath.parts: [Str; _] +.PurePosixPath: ClassType +.PureWindowsPath: ClassType +.Path: ClassType +.PosixPath: ClassType +.WindowsPath: ClassType