Closed dyoo closed 12 years ago
Note to self: change makeVector so it steals its argument. It's used everywhere, so make it as cheap as possible.
M.v=RT.makeVector(["#path:/gpfs/main/home/dyoo/work/whalesong/examples/list-length.rkt",198,11,0,23]);
should be fixed in 97d8848e013dd05e4760715228b68033bb1975a1
Note to self: change makeVector so it steals its argument. It's used everywhere, so make it as cheap as possible.
M.v=RT.makeVector(["#path:/gpfs/main/home/dyoo/work/whalesong/examples/list-length.rkt",198,11,0,23]);