adokitkat
commented
1 year ago More meaningful code, change CellVal = int|float to CellVal = int and it works:
import std/[sequtils]
type
Reactor = ref object
cells: seq[Cell]
CellKind = enum
CellInput, CellCompute
CellVal = int|float
CellComputeFunction = proc(vals: seq[CellVal]): CellVal
CellComputeCallback = proc(x: CellVal)
Cell = ref object
reactor: Reactor
val: CellVal
case kind: CellKind
of CellInput: discard
of CellCompute:
input: seq[Cell]
function: CellComputeFunction
callbacks: seq[ref CellComputeCallback]
proc newReactor*(): Reactor = Reactor()
proc value*(cell: Cell): CellVal =
if cell.kind == CellInput:
result = cell.val
elif cell.kind == CellCompute:
result = cell.function(cell.input.map(value))
proc update(reactor: Reactor) =
for cell in reactor.cells:
if cell.val != cell.value:
for callback in cell.callbacks:
callback[](cell.value)
proc `value=`*(cell: Cell, value: CellVal) =
cell.val = value
cell.reactor.update()
proc createInput*(reactor: Reactor, value: CellVal): Cell =
result = Cell(kind: CellInput, reactor: reactor, val: value)
reactor.cells.add result
proc createCompute*(reactor: Reactor, input: seq[Cell], function: CellComputeFunction): Cell =
result = Cell(kind: CellCompute, reactor: reactor, input: input, function: function)
result.val = result.value
reactor.cells.add result
when isMainModule:
block test:
proc sum(values: seq[CellVal]): CellVal = values.foldl(a + b)
let
reactor = newReactor()
i1 = reactor.createInput(1)
i2 = reactor.createInput(2)
c1 = reactor.createCompute(@[i1, i2], sum)
assert c1.value == 3
juancarlospaco
beef331
github-actions[bot]
ringabout
Description
Hi,
if I understand things correctly, the code below crashes the compiler (?).
Works when compiled with
refcinstead oforc. The culprit isCellVal = int|float. If it's set just toCellVal = intorCellVal = float, the code works correctly.The code without
proc newReactor*(): Reactor = Reactor()also compiles fine. I will post a a longer (and more useful) code in a comment below, this is just the minimal code example I get the error with.Nim Version
Nim Compiler Version 2.0.0 [Linux: amd64] Compiled at 2023-08-01 Copyright (c) 2006-2023 by Andreas Rumpf
git hash: a488067a4130f029000be4550a0fb1b39e0e9e7c active boot switches: -d:release
Current Output
Expected Output
Possible Solution
No response
Additional Information
I also get different error, now with a nicer error message, when I change
CellComputeCallback = proc(val: CodeVal)just toCellComputeCallback = proc(val: int)orCellComputeCallback = proc(val: float)with everything else usingCodeVal = int|float.However I don't know if this one is a bug or is "OK".