Files
Nim/tests/vm/tbroadcastarraymutation.nim

102 lines
2.6 KiB
Nim

type
Container = object
numbers: seq[int]
text: string
chars: set[char]
Variant = object
case enabled: bool
of false:
numbers: seq[int]
else:
discard
Index = enum
index0, index1, index2, index3, index4, index5, index6, index7,
index8, index9, index10, index11, index12, index13, index14, index15,
index16, index17, index18, index19, index20, index21, index22, index23,
index24, index25, index26, index27, index28, index29, index30, index31,
index32
Outer = object
values: array[33, seq[int]]
proc directSeq(): array[33, seq[int]] =
result[32].add 1
proc directStringChar(): array[33, string] =
result[32].add 'a'
proc directStringString(): array[33, string] =
result[32].add "ab"
proc directSet(): array[33, set[char]] =
result[32].incl 'a'
proc fieldSeq(): array[33, Container] =
result[32].numbers.add 1
proc fieldStringChar(): array[33, Container] =
result[32].text.add 'a'
proc fieldStringString(): array[33, Container] =
result[32].text.add "ab"
proc fieldSet(): array[33, Container] =
result[32].chars.incl 'a'
proc nestedSeq(): array[33, array[33, seq[int]]] =
result[32][32].add 1
proc checkedFieldSeq(): array[33, Variant] =
result[32].numbers.add 1
proc enumIndexSeq(): array[Index, seq[int]] =
result[index32].add 1
proc rangeIndexSeq(): array[10..42, seq[int]] =
result[42].add 1
proc firstIndexSeq(): array[33, seq[int]] =
result[0].add 1
proc middleIndexSeq(): array[33, seq[int]] =
result[16].add 1
proc objectArraySeq(): Outer =
result.values[32].add 1
proc singleEvaluation(): tuple[values: array[33, seq[int]], evaluations: int] =
var evaluations = 0
proc index(): int =
inc evaluations
32
result.values[index()].add 1
result.evaluations = evaluations
proc test =
let direct = directSeq()
doAssert direct[0].len == 0
doAssert direct[31].len == 0
doAssert direct[32] == @[1]
doAssert directStringChar()[32] == "a"
doAssert directStringString()[32] == "ab"
doAssert 'a' in directSet()[32]
doAssert fieldSeq()[32].numbers == @[1]
doAssert fieldStringChar()[32].text == "a"
doAssert fieldStringString()[32].text == "ab"
doAssert 'a' in fieldSet()[32].chars
doAssert nestedSeq()[32][32] == @[1]
doAssert checkedFieldSeq()[32].numbers == @[1]
doAssert enumIndexSeq()[index32] == @[1]
doAssert rangeIndexSeq()[42] == @[1]
doAssert firstIndexSeq()[0] == @[1]
doAssert middleIndexSeq()[16] == @[1]
doAssert objectArraySeq().values[32] == @[1]
let evaluated = singleEvaluation()
doAssert evaluated.values[32] == @[1]
doAssert evaluated.evaluations == 1
static: test()
test()