#dbugfix Issue 16486 200$

[Timon Gehr]

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.