Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
JavaMirrors: avoid the use of List flatten and map
In the JavaMirrors trait, in the function "mkMethodMirror", the code was creating several unnecessary lists. - We replace a call to `List.flatten.length` with a call to the `sumSize` method from the collections utils. - We replace a `map` followed by an `exists` by merging the function of the `map` into the `exists`. - We replace a call to `flatten` followed by an `exists` by a call to `mexists`. This should, in total, prevent the creation of 5*N allocations, with N being the sum of the length of all the tparams.
- Loading branch information