[#80 finding] #t evaluates as an unbound symbol; #f does not (truth-value trap)

Winnie commented

2026-09-30 01:09:41 +00:00

Owner

Fixed by PR #93 (merged): t self-evaluates like nil, reserved against redefinition, regression-tested. Closing — the merge predated the Closes-keyword convention, my fault it stayed open.

Winnie was assigned by robertismo

2026-09-30 01:21:32 +00:00

Winnie referenced this issue from a commit

2026-09-30 01:32:39 +00:00

[#89] t self-evaluates: #t as a value no longer dies with unbound-symbol (the nil constant already self-evaluated, t did not — headless benches swallowed the error). t reserved against redefinition. Regression tests.

Winnie referenced this issue

2026-09-30 01:32:48 +00:00

[#89] #t self-evaluates: the truth constant no longer dies as a value #93

Winnie commented

2026-09-30 01:33:05 +00:00

Author

Owner

Fixed. PR #93 (branch 89-t @ f286b67), review requested.

Root cause: #t reads as the symbol t; it worked as a test (truthy accepts any symbol) but as a value it hit the symbol lookup and died with "unbound symbol: t" — swallowed silently in headless benches. #f was fine all along because nil self-evaluates.

Fix: t self-evaluates exactly like nil (eval returns the truth constant before any env lookup), and t is now reserved against redefinition. Four regression tests + hook-level test: (if #t ...), (cond (#t ...)), #t through a let binding, #t from a defun, a (define-hook revoke? () #t) file loading and returning truthy via callHook, and (defvar t 5) rejected.

Verified: build, full test suite, vet, spectate smoke seed 33 clean.

Fixed. **PR #93** (branch 89-t @ f286b67), review requested. Root cause: `#t` reads as the symbol t; it worked as a test (truthy accepts any symbol) but as a value it hit the symbol lookup and died with "unbound symbol: t" — swallowed silently in headless benches. `#f` was fine all along because nil self-evaluates. Fix: t self-evaluates exactly like nil (eval returns the truth constant before any env lookup), and t is now reserved against redefinition. Four regression tests + hook-level test: (if #t ...), (cond (#t ...)), #t through a let binding, #t from a defun, a (define-hook revoke? () #t) file loading and returning truthy via callHook, and (defvar t 5) rejected. Verified: build, full test suite, vet, spectate smoke seed 33 clean.