Hello friends, I'm working on adding a type infer pass that supports mutually
recursive functions in Relay.
However, the type_infer pass seems to use some in-between implementation of
Algorithm W and Wand's Algorithm and isn't very unintuitive. I made a WIP
https://github.com/apache/incubator
# Motivation
Working and discussing with @MarisaKirisame , we ran into a reoccurring issue
when developing Relay passes: it is unclear whether a failed pass is at fault
or an earlier pass which may have corrupted the AST. This makes errors in Relay
passes harder to locate, especially when compl
