示例#1
0
 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
示例#2
0
 def visit_expr(self, expr):
   if isinstance(expr, Adverb):
     raise self.Yes()
   SyntaxVisitor.visit_expr(self, expr)
示例#3
0
 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)
示例#4
0
 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)
示例#5
0
 def visit_expr(self, expr):
   if isinstance(expr, (UntypedFn, TypedFn, Closure)) or isinstance(expr.type, (FnT, ClosureT)):
     raise Yes()
   SyntaxVisitor.visit_expr(expr)
示例#6
0
 def visit_expr(self, expr):
   assert expr is not None
   SyntaxVisitor.visit_expr(self, expr)
示例#7
0
 def visit_expr(self, expr):
     if isinstance(expr, Adverb):
         raise Yes()
     SyntaxVisitor.visit_expr(self, expr)
示例#8
0
 def visit_expr(self, expr):
     if isinstance(expr, (UntypedFn, TypedFn, Closure)) or isinstance(
             expr.type, (FnT, ClosureT)):
         raise Yes()
     SyntaxVisitor.visit_expr(expr)
示例#9
0
 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)
示例#10
0
 def visit_expr(self, expr):
   result = SyntaxVisitor.visit_expr(self, expr)
   if result is None: 
     return unknown
   else: 
     return result