mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-13 16:15:15 +00:00
32 lines
586 B
Python
32 lines
586 B
Python
re = pyimport "re"
|
|
|
|
.compile_dir!: (
|
|
ddir := PathLike,
|
|
maxlevels := Nat,
|
|
ddir := PathLike,
|
|
force := Bool,
|
|
rx := re.Pattern or NoneType,
|
|
quiet := Int,
|
|
legacy := Bool,
|
|
optimize := Int,
|
|
workers := Nat,
|
|
) => Bool
|
|
|
|
.compile_file!: (
|
|
fullname: PathLike,
|
|
ddir := PathLike,
|
|
force := Bool,
|
|
rx := re.Pattern or NoneType,
|
|
quiet := Int,
|
|
legacy := Bool,
|
|
optimize := Int,
|
|
) => Bool
|
|
|
|
.compile_path!: (
|
|
skip_curdir := Bool,
|
|
maxlevels := Nat,
|
|
force := Bool,
|
|
quiet := Int,
|
|
legacy := Bool,
|
|
optimize := Int,
|
|
) => Bool
|