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