How to initialise big vector?

[Timmmm]

Just wondering if there's some syntax I don't know about to make this a bit nicer. If not, it's not a huge deal - just wondering if a solution already exists!

register tlb : vector(num_tlb_entries, option(TLB_Entry)) = [
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
  None(), None(), None(), None(), None(), None(), None(), None(),
]

[Alasdair]

There isn't any syntax, but we should definitely add a vector_init or similar function to make this nicer.

[Alasdair]

I added a builtin function here: #610

So you can do:

register tlb : vector(num_tlb_entries, option(TLB_Entry)) = vector_init(None())

[Timmmm]

Very nice, thanks!