Remove deprecated io.read-line+ builtin #455
Labels
No labels
bug
dependencies
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
refactor
rust
technical-debt
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
navicore/patch-seq#455
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Why
io.read-line+is already marked deprecated incrates/compiler/src/builtins/io.rs(both thebuiltin!registration line and the docs string say "DEPRECATED: use io.read-line instead"). The friendly Bool variantio.read-line(( -- String Bool )) covers the same use cases and feeds directly intoif. The Int-status variant has no clear remaining purpose — surveying both this repo and the seqlings curriculum found zero real call sites in user code; only the wiring entries in this repo.Scope of removal
Delete the
io.read-line+surface end-to-end:crates/runtime/src/io.rs—patch_seq_read_line_plusfunction and itspub usere-export.crates/runtime/src/lib.rs— any re-export pulling it in.crates/compiler/src/builtins/io.rs—builtin!registration and thedocs.insertentry.crates/compiler/src/codegen/runtime/stdio.rs— thedeclare ptr @patch_seq_read_line_plus(ptr)decl and the("io.read-line+", "patch_seq_read_line_plus")name-map entry.crates/compiler/src/ast/program.rs— the"io.read-line+"registration entry.Any tests that reference it should also be removed.
Risk
Low. No examples, tests, or docs in this repo reference
io.read-line+, and the seqlings curriculum has separately stopped teaching it. The deprecation note has been there long enough to act on.Note
The corresponding seqlings-side cleanup (removing the two lingering teaching mentions in
CURRICULUM.mdandhints/19-io/03-read-status.md) is being done in the seqlings repo independently of this issue.