To be clear, it seems like I was able to get my cludge of a solution to "work" but it required annotating more types than I thought it should. It might be that this is the best we can do, but the lack of graceful errors (again, at the time -- I know @jroesch has done a lot of work to improve Relay's error reporting) made that extremely impractical.
--- [Visit Topic](https://discuss.tvm.ai/t/wip-relay-mutual-recursion-development/7118/3) 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/559d076c00eb4600efcdabe41bf064cf37d36f1a969ee82ca5943efd4a3910a7).