pyrser/type_system/inference.py
def infer_block(self, body, diagnostic=None):
        """
        Infer type on block is to type each of is sub-element
        """
        # RootBlockStmt has his own .infer_node (created via infer_type)
        for e in body:
            e.infer_node = InferNode(parent=self.infer_node)
            e.infer_type(diagnostic=diagnostic)
def infer_block(self, body, diagnostic=None):
        """
        Infer type on block is to type each of is sub-element
        """
        # RootBlockStmt has his own .infer_node (created via infer_type)
        for e in body:
            e.infer_node = InferNode(parent=self.infer_node)
            e.infer_type(diagnostic=diagnostic)
def infer_block ( self , body , diagnostic = None ) : # RootBlockStmt has his own .infer_node (created via infer_type) for e in body : e . infer_node = InferNode ( parent = self . infer_node ) e . infer_type ( diagnostic = diagnostic )
Infer type on block is to type each of is sub-element
Infer type on block is to type each of is sub - element