Hard to define recursive contracts/structs

[tov]

Hard to define recursive contracts/structs

[tov]

But now this code works:

let Link = MaybeC(Node?)
defstruct Node(
       prev: Link,
       data: MaybeC(X),
       next: Link)

The order matters. It shouldn't, but it's what we have now.

[tov]

Update:

#lang dssl2

def MaybeC(c): OrC(c, NoneC)

let IntLink = MaybeC(IntNode?)
struct IntNode:
    let prev: IntLink
    let data: int?
    let next: IntLink

class _Node[T]:
    let _prev: _Link(T)
    let _data: MaybeC(T)
    let _next: _Link(T)

    def __init__(self):
        self._prev = None
        self._data = None
        self._next = None
        
    def prev(self): self._prev
    def data(self): self._data
    def next(self): self._next
    def set_prev(self, v): self._prev = v
    def set_data(self, v): self._data = v
    def set_next(self, v): self._next = v
        
def _Link(T): MaybeC(_Node?[T])

let n = _Node[int?]()

assert n.data() is None
n.set_data(5)
assert n.data() == 5
assert_error n.set_data('hello')
assert n.data() == 5

assert n.next() is None
n.set_next(n)
assert n.next() is n
n.set_next(None)
assert n.next() is None