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

chore: remove __new__

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-03-06 01:33:46 +09:00
parent ca140680db
commit f8b7717682
10 changed files with 131 additions and 43 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/erg_compiler/lib/pystd/datetime.d.er
View file

@ -1,4 +1,4 @@
time = pyimport "time"
{StructTime;} = pyimport "time"
.MINYEAR: {1}
.MAXYEAR: {9999}
@ -36,7 +36,7 @@ time = pyimport "time"
fromisoformat: (date_string: Str) -> .Date
fromisocalendar: (year: Nat, week: Nat, day: Nat) -> .Date
replace: (self: .Date, year := Nat, month := Nat, day := Nat) -> .Date
timetuple: (self: .Date) -> time.StructTime
timetuple: (self: .Date) -> StructTime
toordinal: (self: .Date) -> Nat
weekday: (self: .Date) -> 0..6
isoweekday: (self: .Date) -> 1..7