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
|
discard """
output: '''
42
43
43
1
2
3
4
'''
"""
# xxx move to tests/async/tasyncintemplate.nim
import asyncdispatch
block: # bug #16159
template foo() =
proc temp(): Future[int] {.async.} = return 42
proc tempVoid(): Future[void] {.async.} = echo await temp()
foo()
waitFor tempVoid()
block: # aliasing `void`
template foo() =
type Foo = void
proc temp(): Future[int] {.async.} = return 43
proc tempVoid(): Future[Foo] {.async.} = echo await temp()
proc tempVoid2() {.async.} = echo await temp()
foo()
waitFor tempVoid()
waitFor tempVoid2()
block: # sanity check
template foo() =
proc bad(): int {.async.} = discard
doAssert not compiles(bad())
block: # bug #16786
block:
proc main(a: int|string)=
proc bar(b: int|string) = echo b
bar(a)
main(1)
block:
proc main(a: int) : Future[void] {.async.} =
proc bar(b: int): Future[void] {.async.} = echo b
await bar(a)
waitFor main(2)
block:
proc main(a: int) : Future[void] {.async.} =
proc bar(b: int | string): Future[void] {.async.} = echo b
await bar(a)
waitFor main(3)
block:
# bug
proc main(a: int|string) =
proc bar(b: int): Future[void] {.async.} = echo b
waitFor bar(a)
main(4)
|
