blob: 52edbb69ee9248f1fb2f33dab23f23cce7ca9b11 (
plain) (
blame)
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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
from ./m1 {.all.} as r1 import foo1
from ./m1 {.all.} as r2 import foo7
block: # different symbol kinds
doAssert foo1 == 2
doAssert r1.foo1 == 2
doAssert r1.foo2 == 2
doAssert compiles(foo1)
doAssert compiles(r1.foo2)
doAssert not compiles(foo2)
doAssert not compiles(m3h2)
doAssert r1.foo3 == 2
block: # enum
var a: r1.Foo4
let a1 = r1.kg1
doAssert a1 == r1.Foo4.kg1
type A = r1.Foo4
doAssert a1 == A.kg1
doAssert not compiles(kg1)
doAssert compiles(A.kg1)
var witness = false
for ai in r1.Foo4:
doAssert ai == a
doAssert ai == a1
witness = true
break
doAssert witness
block: # {.pure.} enum
var a: r1.Foo4b
doAssert not compiles(r1.foo4b1) # because pure
doAssert not compiles(foo4b1)
let a1 = r1.Foo4b.foo4b1
doAssert a1 == a
type A = r1.Foo4b
doAssert a1 == A.foo4b1
var witness = false
for ai in A:
doAssert ai == a
doAssert ai == a1
witness = true
break
doAssert witness
block: # object
doAssert compiles(r1.Foo5)
var a: r1.Foo5
doAssert compiles(a.z4)
doAssert not compiles(a.z3)
block: # remaining symbol kinds
doAssert r1.foo6() == 2
doAssert r1.foo6b() == 2
doAssert foo7() == 2
doAssert r2.foo6b() == 2
r1.foo8()
r1.foo9(1)
doAssert r1.foo13() == 2
for a in r1.foo14a(): discard
for a in r1.foo14b(): discard
for a in r1.foo14c(): discard
for a in r1.foo14d(): discard
doAssert r1.foo15() == 2
doAssert r1.foo16() == 2
doAssert r1.foo17() == 2
doAssert compiles(r1.foo18)
doAssert declared(r1.foo18)
block: # declarations at block scope should not be visible
doAssert declared(foo7)
doAssert declared(r1.foo6)
doAssert not declared(foo10)
doAssert not declared(foo6)
doAssert not declared(r1.Foo11)
doAssert not declared(r1.kg1b)
doAssert not declared(r1.foo12)
doAssert not compiles(r1.foo12())
## field access
import std/importutils
privateAccess(r1.Foo5)
var x = r1.Foo5(z1: "foo", z2: r1.kg1)
doAssert x.z1 == "foo"
var f0: r1.Foo5
f0.z3 = 3
doAssert f0.z3 == 3
var f = r1.initFoo5(z3=3)
doAssert f.z3 == 3
doAssert r1.z3(f) == 30
import ./m1 as r3
doAssert not declared(foo2)
doAssert not declared(r3.foo2)
from ./m1 {.all.} as r4 import nil
doAssert not declared(foo2)
doAssert declared(r4.foo2)
from ./m1 {.all.} import nil
doAssert not declared(foo2)
doAssert declared(m1.foo2)
|