Open DavePearce opened 2 years ago
I did manage to workaround this with a property
:
property unchanged2({int data, null|List next} node)
// My data is unchanged
where node.data == old(node.data)
// Everything else is also unchanged
where unchanged(node.next)
This doesn't type check, but looks technically legit (
Reference_Valid_39
):The problem is that it won't retype
l
, even though it makes sense to do so in this context.