Feature: Improve diagnostic messages#19398

Merged

T-Gro merged 51 commits into

mainfrom

feature/diagnostic-messages

Apr 20, 2026

Commits on Feb 27, 2026

Reword FS0072 IndeterminateType error message for clarity

T-Gro
and
Copilot
committed
FS0039: Reword 'does not define field/constructor/member' to clearer phrasing

T-Gro
and
Copilot
committed
Reword FS0597 'successive arguments' error message for clarity

T-Gro
and
Copilot
committed
FS0670: Suggest 'inline' for type variable escape scope errors

T-Gro
and
Copilot
committed
Append 'operator not in scope' hint to csExpectTypeWithOperatorButGivenFunction

T-Gro
and
Copilot
committed
FS0247: Improve namespace/module collision error message

T-Gro
and
Copilot
committed
FS0003: Show concrete type in 'not a function' error message

T-Gro
and
Copilot
committed
FS3082: List available static parameters in error message

T-Gro
and
Copilot
committed
FS0025: Add context-aware hint for incomplete match in for-loops

T-Gro
and
Copilot
committed
Type mismatch errors say 'is a tuple of type' when actual type is a tuple

T-Gro
and
Copilot
committed
Add specific error for let!/use! at end of CE

T-Gro
and
Copilot
committed
Improve error for elif chain without final else branch

T-Gro
and
Copilot
committed
Add warning 3883 for comma vs semicolon confusion in list literals

T-Gro
and
Copilot
committed
Fix warning 3883 to exclude struct tuples in list literals

T-Gro
and
Copilot
committed
Add test for SRTP operator scope hint in error message

T-Gro
and
Copilot
committed
Add test for ErrorFromAddingTypeEquation2Tuple diagnostic path

T-Gro
and
Copilot
committed
Document MatchIncomplete 4th bool and add inline comments

T-Gro
and
Copilot
committed
Deduplicate tuple detection in CompilerDiagnostics.fs

T-Gro
and
Copilot
committed
Flatten nested match in TcLinearExprs IfThenElse context selection

T-Gro
and
Copilot
committed
Add test for isTyparTy fallback in NotAFunction handler

T-Gro
and
Copilot
committed
Add positive tests for elif chain missing-else detection

T-Gro
and
Copilot
committed
Extract and test static parameter name truncation logic

T-Gro
and
Copilot
committed
Add missing copyright header to StaticParameterFormattingTests.fs

T-Gro
and
Copilot
committed
Address review council findings: quality and test improvements

T-Gro
and
Copilot
committed
Add release notes for diagnostic message improvements and MatchIncomplete API change

T-Gro
and
Copilot
committed
Address review council: ellipsis on truncation, info-level W3883, thread isForLoopBinding

T-Gro
and
Copilot
committed
Fix review findings: test assertions, trailing newline, tuple alias test

T-Gro
and
Copilot
committed
Fix dead code
test
committed
Address review council: iterative elif walk, typed constant patterns, test coverage

T-Gro
and
Copilot
committed

Commits on Feb 28, 2026

Improve diagnostic wording: tuple operator hint, FS0670 inline advice, restore constructor in FS0039

T-Gro
and
Copilot
committed

Commits on Mar 2, 2026

Commits on Mar 3, 2026

Commits on Mar 5, 2026

Refactor FS0025 for-loop hint: replace bool threading with DiagnosticsLogger interceptor

T-Gro
and
Copilot
committed

Commits on Mar 6, 2026

Commits on Mar 10, 2026

Merge main and resolve conflicts

T-Gro
and
Copilot
committed
Fix CI: update tests for new diagnostic messages

T-Gro
and
Copilot
committed

Commits on Mar 13, 2026

Commits on Mar 17, 2026

Commits on Mar 23, 2026

Merge remote-tracking branch 'origin/main' into feature/diagnostic-messages
T-Gro
committed

Commits on Apr 1, 2026

Merge branch 'main' into feature/diagnostic-messages
T-Gro
authored

Commits on Apr 14, 2026

docs: add new diagnostic numbers FS3885 and FS3886 to release notes

Copilot
and
abonie
authored

Commits on Apr 20, 2026