blob: 454801a2d0942b171e5e23f8bee32d95a8dc8617 (
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
|
discard """
output: '''
Hello World
Hello World'''
joinable: false
"""
type MyProc = proc() {.cdecl.}
type MyProc2 = proc() {.nimcall.}
type MyProc3 = proc() #{.closure.} is implicit
proc testProc() = echo "Hello World"
template reject(x) = doAssert(not compiles(x))
proc callPointer(p: pointer) =
# can cast to proc(){.cdecl.}
let ffunc0 = cast[MyProc](p)
# can cast to proc(){.nimcall.}
let ffunc1 = cast[MyProc2](p)
# cannot cast to proc(){.closure.}
reject: cast[MyProc3](p)
ffunc0()
ffunc1()
callPointer(cast[pointer](testProc))
reject: discard cast[enum](0)
proc a = echo "hi"
reject: discard cast[ptr](a)
# bug #15623
block:
if false:
let x = cast[ptr int](nil)
echo x[]
block:
if false:
var x: ref int = nil
echo cast[ptr int](x)[]
block:
doAssert cast[int](cast[ptr int](nil)) == 0
block:
var x: ref int = nil
doAssert cast[int](cast[ptr int](x)) == 0
block:
block:
static:
let a = cast[pointer](nil)
doAssert a.repr == "nil"
block:
static:
doAssert cast[ptr int](nil).repr == "nil"
block:
const str = cast[ptr int](nil)
static:
doAssert str.repr == "nil"
block:
static:
doAssert cast[ptr int](nil).repr == "nil"
block:
static:
doAssert cast[RootRef](nil).repr == "nil"
# Issue #15730, not fixed yet
# block:
# static:
# doAssert cast[cstring](nil).repr == "nil"
|