blob: b9463b5f0f7230e39064e912b474849966801d41 (
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
|
# Tests unsigned literals and implicit conversion between uints and ints
var h8:uint8 = 128
var h16:uint16 = 32768
var h32:uint32 = 2147483648'u32
var h64:uint64 = 9223372036854775808'u64
var foobar:uint64 = 9223372036854775813'u64 # Issue 728
var v8:uint8 = 10
var v16:uint16 = 10
var v32:uint32 = 10
var v64:uint64 = 10
# u8 + literal produces u8:
var a8: uint8 = v8 + 10
var a16: uint16 = v16 + 10
when false:
var d8 = v8 + 10'i8
var d16 = v8 + 10'i16
var d32 = v8 + 10'i32
when false:
# these don't work yet because unsigned.nim is stupid. XXX We need to fix this.
var f8 = v16 + 10'u8
var f16 = v16 + 10'u16
var f32 = v16 + 10'u32
var g8 = v32 + 10'u8
var g16 = v32 + 10'u16
var g32 = v32 + 10'u32
var ar: array[0..20, int]
var n8 = ar[v8]
var n16 = ar[v16]
var n32 = ar[v32]
var n64 = ar[v64]
block t4176:
var yyy: uint8 = 0
yyy = yyy - 127
doAssert type(yyy) is uint8
# bug #13661
proc fun(): uint = cast[uint](-1)
const x0 = fun()
doAssert typeof(x0) is uint
discard $x0
# bug #13671
const x1 = cast[uint](-1)
discard $(x1,)
# bug #13698
let n: csize = 1 # xxx should that be csize_t or is that essential here?
doAssert $n.int32 == "1"
# bug #14616
let limit = 1'u64
let rangeVar = 0'u64 ..< limit
doAssert repr(rangeVar) == """[a = 0,
b = 0]"""
# bug #15210
let a3 = not 0'u64
var success = false
try:
discard a3.int64
except RangeDefect:
success = true
doAssert success, "conversion should fail at runtime"
|