data.fin.vec_notation imports

Stream: general

[Ruben Van de Velde]

data.fin.vec_notation imports a dozen files about lists just to implement a has_repr instance. Do people have thoughts on that? Not sure myself; it just seemed surprising

[Anne Baanen]

I'm slightly in favour: making the notation roundtrip with repr is useful, list is relatively low-level and I don't recall seeing vector notation used in low-level parts of the library.

[Anne Baanen]

If we can reduce the imports without reducing functionality, then that would of course be even better.

[Eric Wieser]

We could switch to using of_fn instead of fin_range which would push back the imports a bit