discard """
output: '''
10
assigning z = 20
reading field y
20
call to y
dot call
no params call to a
100
no params call to b
100
one param call to c with 10
100
0 4'''
"""
type
T1 = object
x*: int
TD = distinct T1
T2 = object
x: int
template `.`*(v: T1, f: untyped): int =
echo "reading field ", astToStr(f)
v.x
template `.=`(t: var T1, f: untyped, v: int) =
echo "assigning ", astToStr(f), " = ", v
t.x = v
template `.()`(x: T1, f: untyped, args: varargs[typed]): string =
echo "call to ", astToStr(f)
"dot call"
echo ""
var t = T1(x: 10)
echo t.x
t.z = 20
echo t.y
echo t.y()
var d = TD(t)
assert(not compiles(d.y))
template `.`(v: T2, f: untyped): int =
echo "no params call to ", astToStr(f)
v.x
template `.`*(v: T2, f: untyped, a: int): int =
echo "one param call to ", astToStr(f), " with ", a
v.x
var tt = T2(x: 100)
echo tt.a
echo tt.b()
echo tt.c(10)
assert(not compiles(tt.d("x")))
assert(not compiles(tt.d(1, 2)))
# test simple usage that delegates fields:
type
Other = object
a: int
b: string
MyObject = object
nested: Other
x, y: int
template `.`(x: MyObject; field: untyped): untyped =
x.nested.field
template `.=`(x: MyObject; field, value: untyped) =
x.nested.field = value
var m: MyObject
m.a = 4
m.b = "foo"
echo m.x, " ", m.a