Skip to content

Commit

Permalink
fix build
Browse files Browse the repository at this point in the history
  • Loading branch information
MarisaKirisame committed Feb 7, 2019
1 parent 3d363db commit d685e71
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/relay/pass/type_infer.cc
Original file line number Diff line number Diff line change
Expand Up @@ -438,14 +438,14 @@ class TypeInferencer : private ExprFunctor<Type(const Expr&)> {

Type VisitExpr_(const RefReadNode* op) final {
Type it = IncompleteTypeNode::make(TypeVarNode::Kind::kType);
this->Unify(GetType(op->ref), RefTypeNode::make(it), op->span);
this->Unify(GetType(op->ref), RefTypeNode::make(it), GetRef<RefRead>(op));
return it;
}

Type VisitExpr_(const RefWriteNode* op) final {
Type it = IncompleteTypeNode::make(TypeVarNode::Kind::kType);
this->Unify(GetType(op->ref), RefTypeNode::make(it), op->span);
this->Unify(GetType(op->value), it, op->span);
this->Unify(GetType(op->ref), RefTypeNode::make(it), GetRef<RefWrite>(op));
this->Unify(GetType(op->value), it, GetRef<RefWrite>(op));
return TupleTypeNode::make({});
}
};
Expand Down

0 comments on commit d685e71

Please sign in to comment.