Using generic static[int] as parameter in another static[...] parameter

[flyx]

type Foo*[I: static[int], A: static[array[I, int]]] = object
  curIndex: int

proc next*[I: static[int], A: static[array[I, int]]](f: Foo[I, A]): string =
  discard

This yields:

test1.nim(1, 43) Error: cannot generate code for: I

Is this a bug or is it impossible to get working?

[Araq]

Seems just another static[T] bug.

[flyx]

Possibly the same bug, maybe a different one:

type
  Foo*[A: static[int], B: static[int], TokenType: enum, EofToken: static[TokenType]] = object
    curIndex: int

  MyEnum = enum
    meA, meB

  Bar = Foo[2, 3, MyEnum, meA]


proc next*[A: static[int], B: static[int], TokenType: enum,
           EofToken: static[TokenType]](f: Foo[A, B, TokenType, EofToken],
    a: static[(array[A, int], array[B, int])]): TokenType =
  TokenType(a[0][f.curIndex])

const
  a = [1, 2]
  b = [3, 4, 5]

template next*(bar: Bar): MyEnum =
  next(Foo[2, 3, MyEnum, meA](bar), (a, b))

let bar = Bar(curIndex: 0)

echo bar.next()

Yields:

test1.nim(23, 9) template/generic instantiation from here                                                                                                                             
test1.nim(11, 142) Error: cannot generate code for: A

The interesting thing is that this only happens if EofToken is present. If I remove that, the code will happily compile and run.

[stale]

This issue has been automatically marked as stale because it has not had recent activity. If you think it is still a valid issue, write a comment below; otherwise it will be closed. Thank you for your contributions.