Limitation with classes order?

[caterinaurban]

It seems that the inference cannot handle such program:

class Parser:
    def _add_(self, other):
        return Concat(self, other)

class Concat(Parser):
    def _init_(self, left, right):
        self.left = left
        self.right = right

Can we maybe preprocess the classes in some way to handle this?

[mostafa-abdullah]

Check #43. It is the same issue here.

[caterinaurban]

Except that this code is fine but the inference crashes 😆

[caterinaurban]

This also does not work:

class LivenessLattice:
    def __init__(self, liveness):
        self.element = liveness

    def bottom(self):
        self.replace(LivenessLattice(0))
        return self

[caterinaurban]

This issue was moved to caterinaurban/Typpete#4