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

Update trait.er

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-02-12 22:05:07 +09:00
parent 2fe696fb82
commit 2dae0f4be9
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
examples/trait.er
View file

@ -5,7 +5,7 @@ Point2D|Point2D <: Norm|.
norm self = self::x**2 + self::y**2
Point3D = Class {x = Int; y = Int; z = Int}
Point3D|Point2D <: Norm|.
Point3D|Point3D <: Norm|.
norm self = self::x**2 + self::y**2 + self::z**2
norm|T <: Norm| x: T = x.norm()