fix(docs): refresh the bundled documentation from pudu-lang dev #10
merged
@chrismichaelps wrote on 2026-09-24
Behaviour
src/PuduLangMcp/Generated/Docs.pudu is regenerated with tools/SyncDocs.pudu at pudu-lang dev 645c7113, after chrismichaelps/pudu-lang#307. The pudu_docs_* tools now say that items.get(i) stops the program at a missing position, and that List.get(&items, i) answers an Option. Only that sentence and REVISION change.
Verification
pudu check,fmt --check, andlintoversrc,test, andtools: clean.pudu test test: 21/21 suites, 472 assertions.- A new corpus check, "the collections chapter names the Option-answering get", fails against the previous corpus and passes against this one.
Closes #9
