[Z3] Shall we pull `isPoisoned`, `ensureValid` and friends up?

shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25

MIT License

17 stars 6 forks source link

[Z3] Shall we pull `isPoisoned`, `ensureValid` and friends up? #296

Open shingarov opened 3 months ago

shingarov commented 3 months ago

@janvrany : It looks to me like Z3Object>>isPoisoned and those bunch of friends have nothing to do with Z3Object proper, and are really just FFI infrastructure. Shall we pull them up to FFIExternalObject?