Z3.jl icon indicating copy to clipboard operation
Z3.jl copied to clipboard

Consider putting context inside Asts

Open zenna opened this issue 10 years ago • 0 comments

Write now all my functions take a context as a kwarg. This is cumbersome, and prone to the error of combining things which do not have the same context.

Also it's not good if there is some external function, written without the context passing required.

One solution would be to enclose a reference to the context in any variable. Then only allow operations of variables in the same context. Then we wouldnt need to keep passing contexts around to all functions.

zenna avatar Oct 29 '15 15:10 zenna