@@ -534,7 +534,7 @@ proc main() =
534
534
doAssert toSignedInt[int ](d) == some(i32h.int - 1 )
535
535
doAssert toSignedInt[int8 ](e) == none(int8 )
536
536
doAssert toSignedInt[int32 ](e) == none(int32 )
537
- doAssert toSignedInt[int ](e) == some(i32h.int + 1 )
537
+ doAssert toSignedInt[int64 ](e) == some(i32h.int64 + 1 )
538
538
doAssert toSignedInt[int8 ](f) == none(int8 )
539
539
doAssert toSignedInt[int32 ](f) == some(i32l)
540
540
doAssert toSignedInt[int ](f) == some(i32l.int )
@@ -543,35 +543,35 @@ proc main() =
543
543
doAssert toSignedInt[int ](g) == some(i32l.int + 1 )
544
544
doAssert toSignedInt[int8 ](h) == none(int8 )
545
545
doAssert toSignedInt[int32 ](h) == none(int32 )
546
- doAssert toSignedInt[int ](h) == some(i32l.int - 1 )
546
+ doAssert toSignedInt[int64 ](h) == some(i32l.int64 - 1 )
547
547
548
548
let
549
549
i64h = int64 .high
550
550
i64l = int64 .low
551
551
i = initBigInt(i64h)
552
552
j = initBigInt(i64h - 1 )
553
- k = initBigInt(uint64 (int64 .high) + 1 'u64 )
553
+ k = initBigInt(uint64 (int64 .high) + 1 )
554
554
l = initBigInt(i64l)
555
555
m = initBigInt(i64l + 1 )
556
556
n = initBigInt(" -9223372036854775809" ) # int64.low - 1
557
557
doAssert toSignedInt[int8 ](i) == none(int8 )
558
558
doAssert toSignedInt[int32 ](i) == none(int32 )
559
- doAssert toSignedInt[int ](i) == some(i64h. int )
559
+ doAssert toSignedInt[int64 ](i) == some(i64h)
560
560
doAssert toSignedInt[int8 ](j) == none(int8 )
561
561
doAssert toSignedInt[int32 ](j) == none(int32 )
562
- doAssert toSignedInt[int ](j) == some(i64h. int - 1 )
562
+ doAssert toSignedInt[int64 ](j) == some(i64h - 1 )
563
563
doAssert toSignedInt[int8 ](k) == none(int8 )
564
564
doAssert toSignedInt[int32 ](k) == none(int32 )
565
- doAssert toSignedInt[int ](k) == none(int )
565
+ doAssert toSignedInt[int64 ](k) == none(int64 )
566
566
doAssert toSignedInt[int8 ](l) == none(int8 )
567
567
doAssert toSignedInt[int32 ](l) == none(int32 )
568
- doAssert toSignedInt[int ](l) == some(i64l. int )
568
+ doAssert toSignedInt[int64 ](l) == some(i64l)
569
569
doAssert toSignedInt[int8 ](m) == none(int8 )
570
570
doAssert toSignedInt[int32 ](m) == none(int32 )
571
- doAssert toSignedInt[int ](m) == some(i64l. int + 1 )
571
+ doAssert toSignedInt[int64 ](m) == some(i64l + 1 )
572
572
doAssert toSignedInt[int8 ](n) == none(int8 )
573
573
doAssert toSignedInt[int32 ](n) == none(int32 )
574
- doAssert toSignedInt[int ](n) == none(int )
574
+ doAssert toSignedInt[int64 ](n) == none(int64 )
575
575
576
576
block : # pred/succ
577
577
let a = initBigInt(7 )
0 commit comments