blob: 81e17866a2a66b3b61bdee9cd575218cf6da956a (
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
|
discard """
output: '''
tdiscardable
1
1
'''
"""
echo "tdiscardable"
# Test the discardable pragma
proc p(x, y: int): int {.discardable.} =
return x + y
# test that it is inherited from generic procs too:
proc q[T](x, y: T): T {.discardable.} =
return x + y
p(8, 2)
q[float](0.8, 0.2)
# bug #942
template maybeMod(x: SomeInteger, module: Natural): untyped =
if module > 0: x mod module
else: x
proc foo(b: int):int =
var x = 1
result = x.maybeMod(b) # Works fine
proc bar(b: int):int =
result = 1
result = result.maybeMod(b) # Error: value returned by statement has to be discarded
echo foo(0)
echo bar(0)
# bug #9726
proc foo: (proc: int) =
proc bar: int = 1
return bar
discard foo()
|