pj/sanderling
1
0 Fork 0
mirror of https://github.com/priyanshujain/sanderling.git synced 2026-10-02 19:17:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

refactor(verifier): remove dead __sanderlingIndex compat alias

Browse Source
This commit is contained in:
pj committed 2026-06-01 22:43:27 +05:30
1 parent 251680bda3
commit b7bae73aaa
1 file changed
-3
Download Patch File Download Diff File Expand all files Collapse all files
internal/verifier/bindings.go
-3
View File
@@ -297,9 +297,6 @@ func (v *Verifier) formulaHandle(kind specKind, index int) *goja.Object {
handle := v.runtime.NewObject() handle := v.runtime.NewObject()
_ = handle.Set(tagFormula, true) _ = handle.Set(tagFormula, true)
_ = handle.Set(tagFormulaSpecIndex, index) _ = handle.Set(tagFormulaSpecIndex, index)
// Keep __sanderlingIndex as an alias so older property shapes that read it keep
// working during backward-compat transitions.
_ = handle.Set("__sanderlingIndex", index)
_ = handle.Set("implies", v.binaryChain(index, specKindImplies)) _ = handle.Set("implies", v.binaryChain(index, specKindImplies))
_ = handle.Set("or", v.binaryChain(index, specKindOr)) _ = handle.Set("or", v.binaryChain(index, specKindOr))