I have a hierarchy of concepts and concept implementations similar to the setup in the Emmy library: https://github.com/andreaferretti/emmy/blob/master/emmy/structures.nim
After I added one more concept-with-base-concept I started seeing this compiler error: add(x, y) is T too nested for type matching. I'm guessing this means the type matching at seven concept levels is beyond some limit encoded in the compiler? Can I change this limit somehow, even at the cost of longer compilation times?
I effectively have:
type A* = concept type T ...
type B* = concept type T
T is A
type C* = concept type T
T is B
# and so on but with functions defined at each concept level and matching functions for float
# on each.
Yes, a limit is there, I can canfirm that there is a maximum with 7 derivations.
Can I change this limit somehow, even at the cost of longer compilation times?
Probably not (you had to modify the compiler), but in the end, only Araq will know.