-
Notifications
You must be signed in to change notification settings - Fork 3.8k
[Relay] Mix mode type inference #6704
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
dc66e71 to
8228168
Compare
mbrookhart
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
| * | ||
| * fcheck_visited and fvisit_leaf are templated to encourage compiler inlining. | ||
| */ | ||
| template <typename FCheckVisited, typename FVisitLeaf> |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Why do we need to expose this in the header?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It's a template function and we need to use it in type_infer.cc
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
InferType directly extends ExprFunctor instead of using ExprVisitor or ExprMutator
8228168 to
f31847a
Compare
|
@lixiaoquan sorry I forgot to merge this one, going to land now. |
@mbrookhart @jroesch Could you please review? Thanks