erg/tests/should_ok/infer_trait.er
2023-09-13 16:48:20 +09:00

13 lines
252 B
Python

show s =
s.__str__()
assert show(1) == "1"
assert show(True) == "True"
# discard show((x,) -> x)
C = Class {x = Int}
C|C <: Show|.
__str__(ref(self)) = "<C object: x = \{self::x}>"
c = C.new {x = 1}
assert c.__str__() == "<C object: x = 1>"