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

fix: constant attribute searching bugs

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-03-11 14:21:15 +09:00
parent 09276a25a7
commit ee0366cfb4
10 changed files with 130 additions and 44 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -42,7 +42,7 @@ time = pyimport "time"
fromisoformat: (time_string: Str) -> .Time
replace: (self: .Time, hour := Nat, minute := Nat, second := Nat, microsecond := Nat, tzinfo := .TZInfo or NoneType) -> .Time
isoformat: (self: .Time, timespec := Str) -> Str
.DateTime = 'dateTime': ClassType
.DateTime = 'datetime': ClassType
.DateTime.
__call__: (year: Nat, month: Nat, day: Nat, hour := Nat, minute := Nat, second := Nat, microsecond := Nat, tzinfo := .TZInfo or NoneType) -> .DateTime
today!: () => .DateTime