Repository navigation
fix: four small diagnostics and doc fixes (#315, #355, #370, #371) - #373
Merged
Merged
Conversation
The literal ended with `— (GRAMMAR#range-expr)` and the caller's half was
concatenated after it, so the citation sat behind an empty dash and the
advice was glued to its closing parenthesis. The caller's half now goes in
the dash's place and the citation closes the sentence. (#315)
…name
c_call_val inferred its callee, found no type and reported E4101 with the
node's kind and the unresolved type: `index` is a ? and this calls it. A
callee of no type is now lowered first, so the rule that knows why reports
it (E3069 undefined name `nope`, as for `nope[0]`); the finding count says
one answered, as in c_free_method. E4101's sentence names the callee as
"this callee" and never prints `?`. (#355)
c_renders_as_text still said a list rendered only where it bridged and a
composite not at all, so `xs.format("04d")` was told there was no
spec-less rendering to fall back on and to wait for a structural `Display`
that #359 had built. It now answers what c_display_check decides: every
value renders unless an identity, at any depth, or nil is reached.
c_no_render_says drops the composite sentence and names an identity part.
The comments in c_display_check and c_print that said a list or a
composite has no rendering are brought in line. (#371)
Both open-range cases now assert the whole tail, citation last, so the
order cannot slip back unnoticed. Red before the fix. (#315)
Three cases, indexed by a literal, a name and an expression, and the bound
twin, which is E4101 with a sentence that names no node kind and no `?`.
All four were red before the fix. (#355)
…g a chan is told the part
list-format asserted the stale sentence and now asserts the substitute;
list-of-chan-format holds the identity-part reason. Both red before the
fix. (#371)
…body wrote
The built-in specs block said exactly two were declared and that
`impl Ord for P` reports E3013. `Ord` is declared and dispatches; without an
`Eq` it is E3017. The block (en and zh-TW) now names three declared specs,
uses `impl Hash for P` for E3013 (re-measured with every other name in the
list), says the E3044 sentence is for a type without `Ord`, and drops `<` on
an `int` from the behaviours a user type cannot join. (#370)
cmj0121
force-pushed
the
fix/370-371-315-355-minor
branch
from
October 17, 2026 12:22
54fe690 to
b49b06f
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #315. Closes #355. Closes #370. Closes #371.
Four small fixes on one branch, at the owner's request. Each has its own commits.
… no upper bound here — a slice needs an upper bound — \xs[a..xs.len()]` (GRAMMAR#range-expr)`fix(emit),test(refuse)nope[0](1),nope[i](1)andnope[i + 0](1)are nowE3069 undefined name \nope`.fsion anintelement is still E4101, but its sentence saysthis callee is a intand no longer prints the node kind or?`fix(emit),test(reject)c_renders_as_textandc_no_render_sayshad the same stale belief as the comments.xs.format("04d")told the reader that a list has no rendering and to wait for aDisplay. It now offersf"{x}", and[ch].format(…)names thechan[int]part. The comments inc_display_checkandc_printare updated to matchfix(emit),test(refuse)specs.mdblock (en + zh-TW) now says three specs are declared (Eq,Ord,Into[T]) and usesimpl Hash for Pas the E3013 example. Every other name in the list was re-measured and still gives E3013doc(specs)Measured
emit.zg: two E9050 MESSAGE cases, twoformatMESSAGE cases, three E3069 CODE cases and one E4101 MESSAGE case.refuse,reject,lint,error-codes-check,docs-refused,docs-mirror,docs-links,marker-codes,chapter-codes,refusal-cites,grammar-cites,dead-code,fixpoint,compiler-test,oracle,corpus,examples,docs-zerg,conformance,behaviour,mem-check.Found on the way, not here
fn least[T: Ord](a: T) -> Tcalled with anintisE4010 \int` does not implement `Ord`. So theT: Ord` bound is not met even by a scalar, which goes further than #369 (tuples).🤖 Generated with Claude Code
https://claude.ai/code/session_01N8jd1oK2orM6diHxhvWhC7