blob: 6e2893e2bfe8e3a9b4eb79e7ac534473b50f7eac (
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
|
discard """
targets: "c cpp js"
"""
import std/strutils
# bug #6133
template main() =
block:
block:
proc foo(q: string, a: int): int =
result = q.len
proc foo(q: static[string]): int =
result = foo(q, 5)
doAssert foo("123") == 3
block:
type E = enum A
if false:
var e = A
discard $e
proc foo(a: string): int =
len(a) # 16640
proc foo(a: static[bool]): int {.used.} =
discard
doAssert foo("") == 0
block:
proc foo(a: string): int =
len(a)
proc foo(a: static[bool]): int {.used.} =
discard
doAssert foo("abc") == 3
block:
proc parseInt(f: static[bool]): int {.used.} = discard
doAssert "123".parseInt == 123
block:
type
MyType = object
field: float32
AType[T: static MyType] = distinct range[0f32 .. T.field]
var a: AType[MyType(field: 5f32)]
proc n(S: static Slice[int]): range[S.a..S.b] = discard
assert typeof(n 1..2) is range[1..2]
static: main()
main()
|