pyrser/type_system/scope.py
def get_all_polymorphic_return(self) -> bool:
        """ For now, polymorphic return type are handle by symbol artefact.

        --> possible multi-polymorphic but with different constraint attached!
        """
        lst = []
        for s in self.values():
            if hasattr(s, 'tret') and s.tret.is_polymorphic:
                # encapsulate s into a EvalCtx for meta-var resolution
                lst.append(EvalCtx.from_sig(s))
        rscope = Scope(sig=lst, state=StateScope.LINKED, is_namespace=False)
        # inherit type/translation from parent
        rscope.set_parent(self)
        return rscope
def get_all_polymorphic_return(self) -> bool:
        lst = []
        for s in self.values():
            if hasattr(s, 'tret') and s.tret.is_polymorphic:
                # encapsulate s into a EvalCtx for meta-var resolution
                lst.append(EvalCtx.from_sig(s))
        rscope = Scope(sig=lst, state=StateScope.LINKED, is_namespace=False)
        # inherit type/translation from parent
        rscope.set_parent(self)
        return rscope
def get_all_polymorphic_return ( self ) -> bool : lst = [ ] for s in self . values ( ) : if hasattr ( s , 'tret' ) and s . tret . is_polymorphic : # encapsulate s into a EvalCtx for meta-var resolution lst . append ( EvalCtx . from_sig ( s ) ) rscope = Scope ( sig = lst , state = StateScope . LINKED , is_namespace = False ) # inherit type/translation from parent rscope . set_parent ( self ) return rscope
For now, polymorphic return type are handle by symbol artefact.

        --> possible multi-polymorphic but with different constraint attached!
For now polymorphic return type are handle by symbol artefact .