search

polystat / odin

Object Dependency Inspector
10 stars 2 forks source link

Follow-up fixes for third defect type #33

Closed nikololiahim closed 2 years ago

nikololiahim commented 2 years ago

The following example works correctly both in Odin and Polystat:

[] > test
  [] > parent
    [self x] > f
      x.sub 5 > y1
      seq > @
        assert (0.less y1)
        x
    [self y] > g
      self.f self y > @
    [self z] > h
      z > @
  [] > child
    test.parent > @
    [self y] > f
      y > @
    [self z] > h
      self.g self z > @