Exemplo n.º 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
Exemplo n.º 2
0
 def visit_expr(self, expr):
   if isinstance(expr, Adverb):
     raise self.Yes()
   SyntaxVisitor.visit_expr(self, expr)
Exemplo n.º 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)
Exemplo n.º 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)
Exemplo n.º 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)
Exemplo n.º 6
0
 def visit_expr(self, expr):
   assert expr is not None
   SyntaxVisitor.visit_expr(self, expr)
Exemplo n.º 7
0
 def visit_expr(self, expr):
     if isinstance(expr, Adverb):
         raise Yes()
     SyntaxVisitor.visit_expr(self, expr)
Exemplo n.º 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)
Exemplo n.º 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)
Exemplo n.º 10
0
 def visit_expr(self, expr):
   result = SyntaxVisitor.visit_expr(self, expr)
   if result is None: 
     return unknown
   else: 
     return result