4 Feb
2011
4 Feb
'11
6:39 p.m.
I'm a bit surpised...
I want to flatten a collection with 'mixed' entries, like this one {{1. 2. 3}. 4} -> {1. 2. 3. 4}
However it appears that #flatten does not work, because it expects that all elements in the collection are themselves collections. so {{1. 2. 3}. {4}} flatten -> {1. 2. 3. 4} works but {{1. 2. 3}. 4} flatten -> raises error because of a dnu on 4
Anyone knows the right method which would work for my case?
-- Simon Denier