-
Notifications
You must be signed in to change notification settings - Fork 852
[Repo Assist] Monthly Activity 2026-03Β #19439
Copy link
Copy link
Open
Labels
Description
π€ Repo Assist here β I'm an automated AI assistant for this repository.
Activity for March 2026
Suggested Actions for Maintainer
Comprehensive list of all pending actions requiring maintainer attention:
- Review/Merge PR Fix #12386, SRTP trait call correct overload resolution in multi-submit FSI scenarioΒ #19471: Fix for Null value returned from trait callΒ #12386 β SRTP correct overload resolution in multi-submit FSI β Review
- Review/Merge PRs (regression tests, ready to merge): Add regression test: #9878, SRTP with phantom type parameterΒ #19467, Add regression test: #13114, SynPat.Record and QuoteExpr traversalΒ #19468, Add regression test: #12796, DefaultValue null on array type record fieldΒ #19472, Add regression test: #10043, backtick should not report unexpected keywordΒ #19476, Add regression test: #7177, never-matched warning FS0026 with active patternsΒ #19528, Add regression test: #16007, SRTP ctor constraint no longer causes value restrictionΒ #19529, Add regression test: #16154, task CE with IQueryable filters no longer throws VerificationExceptionΒ #19530, Add regression test: #19456, nested let bang in plain let inside task CE raises FS0750Β #19531 β #19467 #19468 #19472 #19476 #19528 #19529 #19530 #19531
- Review PRs created in this run (branches:
regression-test/issue15070,regression-test/issue15987,regression-test/issue16056) β #load in fsx script can fail without a proper error messageΒ #15070, SRTP Regression in .net SDK release 7.0.400Β #15987, FSharpMemberOrFunctionOrValue.DeclarationLocation returns wrong location for auto propertyΒ #16056 now fully covered - Remove incorrect label on
usebinding forIAsyncDisposablenot supported in F# interactiveΒ #14454: T-Gro confirmed still broken in F# 11.0 β removeAI-thinks-issue-fixedβ View - Reconsider label on Error using type abbreviation for attributeΒ #7877: T-Gro confirmed FS0033 error is still wrong β consider removing
AI-thinks-issue-fixedβ View - Check comment on SNAFU with indexed properties & type extensions: internal error & inconsistency over shadowingΒ #16034: confirmed still present β indexed property setter with named arg gives FS0193 β View
- Check comment on Signature mismatch with no comparable structΒ #15339: confirmed still present β
GenerateSignature()drops[]and[]attributes β View - Check comment on Can't use addition (substruction) multiple times in member for constrained to
INumber<>generic Β #16464: confirmed still present β FS0670 when chaining multiple+onINumber<>β View - Check comment on Internal error when using custom attribute and omitting optional argumentΒ #8353: root cause identified β optional bool attribute arg without DefaultParameterValue causes internal error β implement fix in IlxGen.fs β View
- Check comment on Completion is available for some obsolete members onlyΒ #13512: events/fields ignore
allowObsoleteinResolveCompletionsInTypeβ View - Issue NOT fixed Can't take address of a struct value and set it to a discard patternΒ #18841:
let _ = &sstill raises FS0421 on currentmainβAI-thinks-issue-fixedlabel removed β View - Verify and close (labelled
AI-thinks-issue-fixed): Symbols API: FSharpEntity.IsByRef is false for byref`1Β #3532, No indentation warning is given when a hash directive is used inside a nested moduleΒ #3841, Symbols API: Empy value is returned for auto-property bindingΒ #3939, "land" reserved keyword error message Β #6715, Units of Measure applied to literal bindings are ignoredΒ #6929, "This rule is never matched" warning is not shown if an active pattern is used in match expressionΒ #7177, NullReferenceException when calling a virtual Object method on a value type from inline functionΒ #8098, Stress test on type system involving many statically resolved type parametersΒ #9382, Undefined or unsolved type variableΒ #9878, Unexpected keyword error when there's no keywordΒ #10043, Expression tree with anonymous type created incorrectlyΒ #11127, FS0267 trying to concatenate string in an attribute value with --checked+Β #11398, SRTP committed overload does not match expected overloadΒ #12064, Signature file generation chops off leadingFSharp.prefix for externally-defined codeΒ #12067, Mutually recursive non-function values with intermediate module definition not initialized incorrectlyΒ #12384, Unexpected warning '[FS3511] This state machine is not statically compilable'Β #12839,defaultTraverseforSynPatinSyntaxTraverse.Traversedoesn't walk down allSynPatsΒ #13114, No description is provided for a completion item with a quote in its nameΒ #13194, When using EntryPoint attribute in fsx script top-level code is not executedΒ #13350, Problem consuming C# API with default value for parameterΒ #13519, Later errors obscure earlier errors Β #13697, In Visual Studio: Renaming operator with.only renames right of.Β #14057, Update signature generation to include Sealed/Class/Interface attribute for OO-style type constructsΒ #14308, Signature generation must include private field info in case of StructsΒ #14310,internal error: no 'value__' field found for enumeration typewhenrecmodule &enumconstraint & type aliasΒ #14580, #load in fsx script can fail without a proper error messageΒ #15070, Error number 3217 is reused for two errors Β #15655, SRTP Regression in .net SDK release 7.0.400Β #15987, Lang version 6.0 -> 7.0 value restriction regression.Β #16007, FSharpMemberOrFunctionOrValue.DeclarationLocation returns wrong location for auto propertyΒ #16056, VerificationException on runtime, due to upcast to obj inside the task state machineΒ #16154, Missing FS0750 in nested let bang (got lost between 9.0 and 10.0)Β #19456 β Search
Additional observations for maintainer's attention
- Issue Quotation string matching fails?Β #19527 (new, March 31):
<@@ match x with "" -> ... @@>fails with FS0452. Root cause:PatternMatchCompilation.fsline 807β813 optimizes empty-string match tomkNonNullTest+mkILAsmCeq, generatingTOp.ILAsm([AI_ldnull; AI_cgt_un])thatQuotationTranslator.fscan't handle (falls to the catch-all FS0452 branch). Fix: add a handler for[AI_ldnull; AI_cgt_un]inQuotationTranslator.fs(convert toarg <> nullexpression). T-Gro is already engaged on this. - Issue Can't take address of a struct value and set it to a discard patternΒ #18841 (
let _ = &sraises FS0421 butlet a = &sworks): Confirmed still broken onmain(1775f42, 2026-03-31). Asymmetric treatment of discard vs. named bindings in address-of expressions. - Issue Visual F# Tools shows Option.toNullable is from another projects internal moduleΒ #14678 (
AI-thinks-windows-onlylabel): Label was already removed in a previous run. The tooltip issue (wrong module forOption.toNullable) is backed by FCS and IS testable on Linux. - Issue duplicate entry '.cctor' in method tableΒ #19445 (duplicate
.cctorin method table for generic DU withstatic member val) β confirmed still present in F# 11.0 dev.
Future Work for Repo Assist
- Task 1: Continue scanning pre-2024 bugs with new activity (c=0, uses lr filter)
- Task 3: woc=15350 β all existing windows-only issues have been reviewed; monitor for new ones
- All 7 AI-thinks-issue-fixed issues now have regression test PRs β future task is to handle newly labelled issues
Run History
2026-03-31 19:00 UTC β Run
- π§ Created PR for #load in fsx script can fail without a proper error messageΒ #15070: regression test β
#load "./path"dot-slash prefix no longer causes FS1141 (regression-test/issue15070) - π§ Created PR for SRTP Regression in .net SDK release 7.0.400Β #15987: regression test β SRTP overload resolution returns correct typed value (
regression-test/issue15987) - π§ Created PR for FSharpMemberOrFunctionOrValue.DeclarationLocation returns wrong location for auto propertyΒ #16056: regression test β auto property
DeclarationLocationpoints to property name, notgetaccessor (regression-test/issue16056) - π Investigated Quotation string matching fails?Β #19527: quotation empty-string match causes FS0452 β root cause identified (PatternMatchCompilation optimization + QuotationTranslator gap), noted for maintainer
2026-03-31 12:48 UTC β Run
- π Discovered Can't take address of a struct value and set it to a discard patternΒ #18841 is NOT fixed:
let _ = &sstill raises FS0421 onmain(1775f42) - π·οΈ Removed
AI-thinks-issue-fixedfrom Can't take address of a struct value and set it to a discard patternΒ #18841 - π¬ Commented on Can't take address of a struct value and set it to a discard patternΒ #18841: test results proving issue still present
- π§ Created PR for "This rule is never matched" warning is not shown if an active pattern is used in match expressionΒ #7177: regression test β FS0026 warning with active patterns in match (
regression-test/issue7177) - π§ Created PR for Lang version 6.0 -> 7.0 value restriction regression.Β #16007: regression test β SRTP ctor no longer causes value restriction (
regression-test/issue16007) - π§ Created PR for VerificationException on runtime, due to upcast to obj inside the task state machineΒ #16154: regression test β task CE with IQueryable filters no longer throws VerificationException (
regression-test/issue16154) - π§ Created PR for Missing FS0750 in nested let bang (got lost between 9.0 and 10.0)Β #19456: regression test β nested
let!in plainletinside task CE raises FS0750 (regression-test/issue19456)
2026-03-31 07:00 UTC β Run
- π Task 3: Assessed VS "Show in Test Explorer" doesn't work for F#Β #14632, Visual F# Tools shows Option.toNullable is from another projects internal moduleΒ #14678, FSharpClassificationService throws TaskCanceledExceptionΒ #14840, Sticky scroll in VS sticks to xml comments (///)Β #15101, VS QuickInfo is not fully displayed in mainΒ #15350 for windows-only correctness
- π¬ Commented on Visual F# Tools shows Option.toNullable is from another projects internal moduleΒ #14678: explained not windows-only, label removal needed
- π¬ Commented on Missing FS0750 in nested let bang (got lost between 9.0 and 10.0)Β #19456: posted regression test code for maintainer to create PR
- π Updated monthly summary
2026-03-30 18:48 UTC β Run
- π Task 1: Cursor exhausted at Can't use addition (substruction) multiple times in member for constrained to
INumber<>generic Β #16464; resetc=0 - π·οΈ Task 3: Reviewed Some warnings may be discarded using #load with forward slash path separatorsΒ #1240, Indentation of certain records, lists is broken by shift+tabΒ #1627, Blockstructure lines are a bit weird Β #2115, Blockstructure IssuesΒ #2431, Intellisense Quick Info blocks half of my screen when I hover over some keywordsΒ #2628 β all correctly labeled;
woc=2628 - β Task 2 ("This rule is never matched" warning is not shown if an active pattern is used in match expressionΒ #7177): Regression test written β needs manual PR creation
- βΉοΈ Task 2 (Null value returned from trait callΒ #12386): bug still present; T-Gro's fix in PR Fix #12386, SRTP trait call correct overload resolution in multi-submit FSI scenarioΒ #19471
- βΉοΈ Task 2 (internal error : encodeCustomAttrElemType: unrecognized custom element typeΒ #12796): bug still present; T-Gro's regression test in PR Add regression test: #12796, DefaultValue null on array type record fieldΒ #19472
2026-03-30 07:04 UTC β Run
- π¬ Commented on SNAFU with indexed properties & type extensions: internal error & inconsistency over shadowingΒ #16034, Signature mismatch with no comparable structΒ #15339, Can't use addition (substruction) multiple times in member for constrained to
INumber<>generic Β #16464: confirmed still present in F# 10.0
2026-03-30 01:03 UTC β Run
- π¬ Commented on SRTP Regression in .net SDK release 7.0.400Β #15987, FSharpMemberOrFunctionOrValue.DeclarationLocation returns wrong location for auto propertyΒ #16056: confirmed fixed; π·οΈ labelled both
AI-thinks-issue-fixed
2026-03-29 18:46 UTC β Run
- π¬ Commented on #load in fsx script can fail without a proper error messageΒ #15070: confirmed fixed; π·οΈ labelled
AI-thinks-issue-fixed
2026-03-29 12:46 UTC β Run
- π¬ Commented on Can't take address of a struct value and set it to a discard patternΒ #18841, Missing FS0750 in nested let bang (got lost between 9.0 and 10.0)Β #19456: confirmed fixed; π·οΈ labelled both
AI-thinks-issue-fixed
2026-03-29 06:48 UTC β Run
- π§ Created PR Add regression test: #3532, FSharpEntity.IsByRef is false for byref`1Β #19485: regression test for Symbols API: FSharpEntity.IsByRef is false for byref`1Β #3532; π§ Created PR Handle Const.Zero for primitive value types in custom attribute codegenΒ #19484: regression test for error FS0073: internal error: Undefined or unsolved type variable when using generic type annotations on DU of DUs with static members requiring 2+ inputsΒ #6648
2026-03-29 01:00 UTC β Run
- π¬ Commented on Lang version 6.0 -> 7.0 value restriction regression.Β #16007, #load in fsx script can fail without a proper error messageΒ #15070, F# 7.0 generate incorrect program in release config.Β #14492,
nativeptrin interfaces leads to runtime errorsΒ #14508; π·οΈ Labelled Lang version 6.0 -> 7.0 value restriction regression.Β #16007AI-thinks-issue-fixed
2026-03-28 18:45 UTC β Run
- π¬ Commented on "This rule is never matched" warning is not shown if an active pattern is used in match expressionΒ #7177, VerificationException on runtime, due to upcast to obj inside the task state machineΒ #16154; π·οΈ Labelled both
AI-thinks-issue-fixed
Earlier runs (2026-03-22 to 2026-03-28)
- Investigated and commented on: No service error for using CompiledName on multiple valuesΒ #6131, FS2014 when using tupled argsΒ #6379, "land" reserved keyword error message Β #6715, "This rule is never matched" warning is not shown if an active pattern is used in match expressionΒ #7177, Error using type abbreviation for attributeΒ #7877, Nested module attribute is not resolved in recursive namespaceΒ #7931, NullReferenceException when calling a virtual Object method on a value type from inline functionΒ #8098, Stress test on type system involving many statically resolved type parametersΒ #9382, Undefined or unsolved type variableΒ #9878, Unexpected keyword error when there's no keywordΒ #10043, CLIEvent events are considered properties in XmlDoc Ids and Symbol APIΒ #10273, Methods are not tagged as methods in tooltipsΒ #10540, Expression tree with anonymous type created incorrectlyΒ #11127, FS0267 trying to concatenate string in an attribute value with --checked+Β #11398, Bitwise or on a char enum should error at compile timeΒ #11785, SRTP committed overload does not match expected overloadΒ #12064, Signature file generation chops off leading
FSharp.prefix for externally-defined codeΒ #12067, Values inside 'as' patterns are disposed multiple timesΒ #12300, Mutually recursive non-function values with intermediate module definition not initialized incorrectlyΒ #12384, Unexpected warning '[FS3511] This state machine is not statically compilable'Β #12839,defaultTraverseforSynPatinSyntaxTraverse.Traversedoesn't walk down allSynPatsΒ #13114, No description is provided for a completion item with a quote in its nameΒ #13194, When using EntryPoint attribute in fsx script top-level code is not executedΒ #13350, Completion is available for some obsolete members onlyΒ #13512, Problem consuming C# API with default value for parameterΒ #13519, Later errors obscure earlier errors Β #13697, Unused binding warning isn't reported for recursive binding in a typeΒ #13849, Duplicate member signature error is not reported in signature filesΒ #13981, In Visual Studio: Renaming operator with.only renames right of.Β #14057, In FSI, an invalid string literal can break further parsing of string in that interactive sessionΒ #14160, 'No matching overload' error has too wide rangeΒ #14284, Update signature generation to include Sealed/Class/Interface attribute for OO-style type constructsΒ #14308, Signature generation must include private field info in case of StructsΒ #14310, F# 7.0 generate incorrect program in release config.Β #14492,nativeptrin interfaces leads to runtime errorsΒ #14508,internal error: no 'value__' field found for enumeration typewhenrecmodule &enumconstraint & type aliasΒ #14580, Error number 3217 is reused for two errors Β #15655, FSharpMemberOrFunctionOrValue.DeclarationLocation returns wrong location for auto propertyΒ #16056, Spurious FS3570 warning with Active PatternΒ #16410 β labeled many asAI-thinks-issue-fixed - π§ Created regression test PRs: Add regression test: #9878, SRTP with phantom type parameterΒ #19467, Add regression test: #13114, SynPat.Record and QuoteExpr traversalΒ #19468, Add regression test: #12796, DefaultValue null on array type record fieldΒ #19472, Add regression test: #13519, C# optional parameters from F#Β #19473, Add regression test: #10043, backtick should not report unexpected keywordΒ #19476, Add regression test: #6715, land is a valid identifierΒ #19478, Add regression test: #15655, error codes 999 and 3217 are distinctΒ #19480, Handle Const.Zero for primitive value types in custom attribute codegenΒ #19484, Add regression test: #3532, FSharpEntity.IsByRef is false for byref`1Β #19485 (by T-Gro based on Repo Assist analysis)
Generated by Repo Assist Β· β·
To install this agentic workflow, run
gh aw add githubnext/agentics/workflows/repo-assist.md@9135cdfde26838a01779aa966628308404ec1f02
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
Type
Projects
Status
New