I don't know how helpful this will be since it's old, but I had an ancient abandoned PR that tried to add in mutual recursion. I ran into some unification bugs that I documented in the comments, but maybe those have since been fixed. Seems like it has to do with type variables (the woes of dependent typing).
https://github.com/apache/incubator-tvm/pull/2648 To understand Relay's type-checking, I think reading the arxiv paper might help (it uses Hindley-Milner for getting types that don't involve relations and constraint-solving for the rest). --- [Visit Topic](https://discuss.tvm.ai/t/wip-relay-mutual-recursion-development/7118/2) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.ai/email/unsubscribe/6b1ccc0baf48e790d12c5772f29c6dc7831ee5031395d2467bf1961575d04196).
