[Bro-Dev] #1024: make it possible to use redef to append to vectors

[Bro Tracker]

#1024: make it possible to use redef to append to vectors
----------------------------+------------------------
  Reporter:  dmandelb       |      Owner:
      Type:  Merge Request  |     Status:  new
  Priority:  Medium         |  Milestone:  Bro2.2
 Component:  Bro            |    Version:  git/master
Resolution:                 |   Keywords:
----------------------------+------------------------
Changes (by jsiwek):

 * type:  Feature Request => Merge Request


Comment:

 In `topic/jsiwek/1024`.

 Note the vector ctors/initializers don't use the "index = val" syntax like
 tables do:

 {{{
 const foo: vector of double = vector( 21.0, 11.0, 8.0 ) &redef;
 redef foo += vector(42.0, 44.0, 50.0);
 redef foo += { 88.0, 99.0, 101.0 };
 }}}

-- 
Ticket URL: <http://tracker.bro.org/bro/ticket/1024#comment:2>
Bro Tracker <http://tracker.bro.org/bro>
Bro Issue Tracker