def visit_expr(self, expr): abstract_shape = SyntaxVisitor.visit_expr(self, expr) assert abstract_shape is not None, \ "Unsupported expression in shape inference: %s" % expr.node_type() return abstract_shape
def visit_expr(self, expr): if isinstance(expr, Adverb): raise self.Yes() SyntaxVisitor.visit_expr(self, expr)
def visit_expr(self, expr): assert expr is not None assert expr.type is not None, \ "Missing type annotation on %s" % expr SyntaxVisitor.visit_expr(self, expr)
def visit_expr(self, expr): assert expr is not None, "Expression missing, must be a compiler bug" assert expr.type is not None, \ "Missing type annotation on %s" % expr SyntaxVisitor.visit_expr(self, expr)
def visit_expr(self, expr): if isinstance(expr, (UntypedFn, TypedFn, Closure)) or isinstance(expr.type, (FnT, ClosureT)): raise Yes() SyntaxVisitor.visit_expr(expr)
def visit_expr(self, expr): assert expr is not None SyntaxVisitor.visit_expr(self, expr)
def visit_expr(self, expr): if isinstance(expr, Adverb): raise Yes() SyntaxVisitor.visit_expr(self, expr)
def visit_expr(self, expr): if isinstance(expr, (UntypedFn, TypedFn, Closure)) or isinstance( expr.type, (FnT, ClosureT)): raise Yes() SyntaxVisitor.visit_expr(expr)
def visit_expr(self, expr): result = SyntaxVisitor.visit_expr(self, expr) if result is None: return unknown else: return result