Skip to content

Fix any/all negation syntax (! -> ?!)#33

Merged
sigilante merged 1 commit into
mainfrom
sigilante/fix-any-all-syntax
May 30, 2026
Merged

Fix any/all negation syntax (! -> ?!)#33
sigilante merged 1 commit into
mainfrom
sigilante/fix-any-all-syntax

Conversation

@sigilante
Copy link
Copy Markdown
Collaborator

Summary

The any/all rewrite in #28 used !(=(...)) for logical negation. The bare ! irregular does not parse in that position — Hoon requires ?!(=(...)). As merged, lib/lagoon.hoon fails to build.

Caught while validating on a live ship (~nec):

  • !(=(3 0)) → build-failed
  • ?!(=(3 0)) → build succeeded

Fix

Change the two negations in any/all from !(=(...)) to ?!(=(...)). No logic change — the min/max-based reductions are unchanged.

Note

This is a hotfix for main (which currently won't compile lib/lagoon). Recommend merging promptly.

🤖 Generated with Claude Code

The any/all rewrite in #28 used `!(=(...))` for logical negation, but
the bare `!` irregular does not parse in that position — Hoon needs
`?!(=(...))`. As merged, lib/lagoon.hoon fails to build. Verified on a
live ship: `!(=(3 0))` fails to compile, `?!(=(3 0))` builds.

No logic change; the min/max-based any/all is unchanged.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@sigilante sigilante merged commit 14b11e4 into main May 30, 2026
@sigilante sigilante deleted the sigilante/fix-any-all-syntax branch May 30, 2026 16:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant