navicore/patch-seq
1
0
Fork 0
Code Issues 1 Pull requests Releases 139 Packages Activity Actions

pr-git.navicore.tech-navicore-456 #458

Merged
navicore merged 3 commits from pr-git.navicore.tech-navicore-456 into main 2026-05-05 19:13:50 +00:00
Conversation 0 Commits 3 Files changed 5 +3 -66
navicore commented 2026-05-05 19:08:10 +00:00
Owner
Copy link
No description provided.
Remove deprecated io.read-line+ builtin
Some checks failed
CI - Linux / CI - Linux x86_64 (pull_request) Failing after 7s
Details
0fc3a8b9e0 
Covers full end-to-end removal:
- ast/program.rs: remove name registration entry
- builtins/io.rs: remove builtin! sig and docs.insert entry
- codegen/runtime/stdio.rs: remove LLVM declare and symbol mapping
- runtime/io.rs: remove patch_seq_read_line_plus function and its pub use
- runtime/lib.rs: remove re-export of read_line_plus

Closes #455
Remove orphaned doc comment from deleted patch_seq_read_line_plus
Some checks failed
CI - Linux / CI - Linux x86_64 (pull_request) Failing after 7s
Details
b7a324b850 
Lines 166-179 were the function-level docstring for the removed
patch_seq_read_line_plus function. They survived the deletion and got
attached to READ_N_MAX_BYTES, producing broken cargo doc output.
fmt
All checks were successful
CI - Linux / CI - Linux x86_64 (pull_request) Successful in 4m22s
Details
2551bfb432
navicore deleted branch pr-git.navicore.tech-navicore-456 2026-05-05 19:13:50 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
bug
Something isn't working

  
dependencies
Pull requests that update a dependency file

  
documentation
Improvements or additions to documentation

  
duplicate
This issue or pull request already exists

  
enhancement
New feature or request

  
good first issue
Good for newcomers

  
help wanted
Extra attention is needed

  
invalid
This doesn't seem right

  
question
Further information is requested

  
refactor
Code refactoring and cleanup

  
rust
Pull requests that update rust code

  
technical-debt
Technical debt to address

  
wontfix
This will not be worked on

No labels
bug
dependencies
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
refactor
rust
technical-debt
wontfix
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
navicore/patch-seq!458
No description provided.