1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
discard """
output: '''
foo
C
3.14
foo
3.14
3.14
'''
"""
type
V = enum
A, B, C
X = object
f0: string
case f1: V
of A: f2: string
of B: discard
of C: f3: float
var obj = X(f0: "foo", f1: C, f3: 3.14)
block:
echo obj.f0
echo obj.f1
doAssertRaises(FieldDefect): echo obj.f2
echo obj.f3
block:
let a0 = addr(obj.f0)
echo a0[]
# let a1 = addr(obj.f1)
# echo a1[]
doAssertRaises(FieldDefect):
let a2 = addr(obj.f2)
echo a2[]
let a3 = addr(obj.f3)
echo a3[]
# Prevent double evaluation of LHS
block:
var flag = false
proc wrap(x: X): X =
doAssert flag == false
flag = true
result = x
echo wrap(obj).f3
|
