Rewrite specializer
breuleux opened this issue · 1 comments
breuleux commented
Although it does mostly work, the specializer code (which is in charge of monomorphization) is flimsy and bug-prone, difficult to read and understand, and needlessly asynchronous (which makes it hard to debug). It is also inefficient and makes too many copies of the graphs.
It should be rewritten in order to solve all of these problems.