[Github-comments] [geany/geany] Push current position to navqueue before navigating back (#1537)

[Matthew Brush]

> Yes, but its not a local contract, and its not an entry contract, its not even a contract thats reified in the program, so its easy to break.

It is, that's my point. It's local to this function and all it checks is the invariant that the document not be `NULL` at that particular location in the code, it has nothing to do with other parts of the code, it just asserts one thing locally. If you want to reify the invariant that a document cannot be `NULL` whenever any of the document-sensitive actions are enabled, that's a different check that could go elsewhere, but it's not what I'm talking about here.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1537#issuecomment-315582625
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20170716/82b958c6/attachment.html>