language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-28 20:14:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

WIP

Browse source
This commit is contained in:
Cai Bingjun 2022-10-15 12:14:52 +08:00
parent 0a1e2ee58b
commit b07c17708b
298 changed files with 307 additions and 12499 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/EN/python/class_system.md
View file

@ -59,7 +59,7 @@ The `Override` decorator must be given when overriding, and the type of the over
>>> D = Inherit C
... .f self = "a"
...
Error[#XX]: File "<stdin>", line 5, in D
Error[# XX]: File "<stdin>", line 5, in D
To override f, it must be added `Override` decorator and its type must be `Self.() -> Nat` or the subtype of that
f(self) is already defined in C. To override f, it must be added `Override` decorator and its type must be `Self. To override, it must be given an `Override` decorator and its type must be `Self.() -> Nat` or the subtype of that.f(self).
```