Mirror of forum.nim-lang.org

806 :: Usage of static[int]

• andrea (orginal) [2015-01-29T17:17:46+01:00] view original

  I have a toy implementation of radix sort that goes more or less like follows:

  const N = 50000
  
  proc pass(data: var array[N, uint64], shift: uint64) =
    ...
  
  proc radix*(data: var array[N, uint64]) =
    for i in 0'u64 .. 63'u64:
      pass(data, i)
  Run

  I would like to make N variable (but known at compile time). I have tried to change the signatures in

  const N = 50000
  
  proc pass[N: static[int]](data: var array[N, uint64], shift: uint64) =
    ...
  
  proc radix*[N: static[int]](data: var array[N, uint64]) =
    for i in 0'u64 .. 63'u64:
      pass(data, i)
  Run

  but when I try to invoke it like

  var data: array[50000, uint64]
  # populate data
  radix(data)
  Run

  I get an error saying: Error: internal error: cannot generate code for: N. Is there a way to leave N as a parameter?

  (I have tried to use openarray, but in the body of pass I need two auxiliary arrays of the same size as data)

---

• def (orginal) [2015-01-29T18:06:38+01:00] view original

  Here is how it should work (I still consider this a bug):

  import unsigned
  
  type sarray[N: static[int], T] = array[N, T]
  
  proc pass[N](data: var sarray[N, uint64], shift: uint64) =
    discard
  
  proc radix*[N](data: var sarray[N, uint64]) =
    for i in 0'u64 .. 63'u64:
      pass(data, i)
  
  var data: array[50000, uint64]
  radix(data)
  Run

---

• andrea (orginal) [2015-01-29T18:27:29+01:00] view original

  Thank you, this works!

---