On 30.03.2018 08:11, 9il wrote:
Hello,
Bugfix for the Issue 16486 [1] (originally [2]) is required for
mir-algorithm types [3], [4].
For example, packed triangular matrix can be represented as
Slice!(Contiguous, [1], StairsIterator!(T*))
Slice!(Contiguous, [1],
RetroIterator!(MapIterator!(StairsIterator!(RetroIterator!(T*)), retro)))
They are used in mir-lapack [5]. The bug fix also required for mir
(Sparse, CompressedTensor), and for the future Dlang image library.
Workarounds aren't interesting.
200$ - bounty ( I can pay directly or transfer money to the Dlang
Foundation )
Best Regards,
Ilya Yaroshenko
[1] https://issues.dlang.org/show_bug.cgi?id=16486
[2] https://issues.dlang.org/show_bug.cgi?id=16465
[3] http://docs.algorithm.dlang.io/latest/mir_ndslice_slice.html#Slice
[4] http://docs.algorithm.dlang.io/latest/mir_series.html#Series
[5] https://github.com/libmir/mir-lapack/blob/master/source/mir/lapack.d
This is supported in https://github.com/tgehr/d-compiler
It has explicit "unknown" types and may instantiate templates using them
during IFTI. The result is then matched against the argument types.