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):
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):
result = SyntaxVisitor.visit_expr(self, expr)
if result is None:
return unknown
else:
return result
