[Repo Assist] Monthly Activity 2026-03

[github-actions]

🤖 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:

• Check comment on No indentation warning is given when a hash directive is used inside a nested module #3841: Repo Assist labelled AI-thinks-issue-fixed — hash directive indentation now raises FS0010 + FS0058 in F# 10.0 — verify and close — View
• Check comment on Symbols API: Empy value is returned for auto-property binding #3939: Repo Assist labelled AI-thinks-issue-fixed — auto-property now returned with IsProperty: true and correct DeclaringEntity — verify and close — View
• Check comment on Unexpected keyword error when there's no keyword #10043: Repo Assist labelled AI-thinks-issue-fixed — error messages for backtick/tilde in type expressions now use FS3563 "This is not a valid identifier" — verify and close — View
• Check comment on SRTP committed overload does not match expected overload #12064: Repo Assist labelled AI-thinks-issue-fixed — SRTP committed overload mismatch fixed; DU.ToCaseName now correctly wins over generic overload — verify and close — View
• Check comment on Mutually recursive non-function values with intermediate module definition not initialized incorrectly #12384: Repo Assist labelled AI-thinks-issue-fixed — mutually recursive values no longer initialized as null — verify and close — View
• Check comment on Null value returned from trait call #12386: Repo Assist labelled AI-thinks-issue-fixed — null value returned from SRTP trait call regression now fixed — verify and close — View
• Check comment on When using EntryPoint attribute in fsx script top-level code is not executed #13350: Repo Assist labelled AI-thinks-issue-fixed — [(EntryPoint)] in fsx scripts now correctly executes top-level code — verify and close — View
• Check comment on In Visual Studio: Renaming operator with . only renames right of . #14057: Repo Assist labelled AI-thinks-issue-fixed — Rename operator with . (e.g. -.-) only renaming right of . — fixed by PR Find All References and Rename Symbol Bug Fixes #19252 — verify and close — View
• Check comment on "land" reserved keyword error message  #6715: Repo Assist labelled AI-thinks-issue-fixed — confusing FS0010 error when using land as identifier — fixed in F# 10.0 (PR Remove ML compatibility #19143, land/lor etc. no longer reserved) — verify and close — View
• Check comment on NullReferenceException when calling a virtual Object method on a value type from inline function #8098: Repo Assist labelled AI-thinks-issue-fixed — NullReferenceException when calling virtual method on value type via SRTP fixed by PR Resolve ILVerify errors — adjust codegen (551 → 56 errors) #19372 — verify and close — View
• Check comment on Unexpected warning '[FS3511] This state machine is not statically compilable' #12839: Repo Assist labelled AI-thinks-issue-fixed — FS3511 state machine warning fixed by PR Improve static compilation of state machines #19297 — verify and close — View
• Check comment on Expression tree with anonymous type created incorrectly #11127: Repo Assist labelled AI-thinks-issue-fixed — anonymous record expression tree Lambda.Invoke bug fixed by PR FSharp.Core 'query' related fixes #19243 — verify and close — View
• Check comment on FS0267 trying to concatenate string in an attribute value with --checked+ #11398: Repo Assist labelled AI-thinks-issue-fixed — FS0267 with --checked+ and string concatenation in attribute values now compiles successfully — verify and close — View
• Check comment on internal error : encodeCustomAttrElemType: unrecognized custom element type #12796: Repo Assist labelled AI-thinks-issue-fixed — encodeCustomAttrElemType: unrecognized custom element type when using generic record type in typeof<> attribute argument — now compiles correctly — verify and close — View
• Check comment on sbyte array comparison doesn't work correctly with negative values #5263: Repo Assist labelled as potentially fixed — dsyme commented (2026-03-17) suggesting a regression test should be added — View
• Check comment on No description is provided for a completion item with a quote in its name #13194: Repo Assist commented — XPath quote bug fixed in current codebase — verify and close — View
• Check comment on use binding for IAsyncDisposable not supported in F# interactive #14454: Repo Assist labelled AI-thinks-issue-fixed — use for IAsyncDisposable in task CE now works in FSI — verify and close — View
• Reconsider label on Error using type abbreviation for attribute #7877: Repo Assist labelled AI-thinks-issue-fixed but T-Gro (maintainer) confirmed FS0033 error is still wrong — consider removing the label — View
• Check comment on defaultTraverse for SynPat in SyntaxTraverse.Traverse doesn't walk down all SynPats #13114: Repo Assist labelled AI-thinks-issue-fixed — SynPat.Record and SynPat.QuoteExpr now handled in defaultTraverse — verify and close — View
• Check comment on Later errors obscure earlier errors  #13697: Repo Assist labelled AI-thinks-issue-fixed — typeof(T) in attribute context now correctly shows FS0039 — verify and close — View
• Check comment on internal error: no 'value__' field found for enumeration type when rec module & enum constraint & type alias #14580: Repo Assist labelled AI-thinks-issue-fixed — FS0073: internal error: no 'value__' field found in module rec now replaced with proper FS0033 — verify and close — View
• Check comment on Error number 3217 is reused for two errors  #15655: Repo Assist labelled AI-thinks-issue-fixed — packageManagerError renumbered from 3217 to 999 — verify and close — View
• Check comment on Spurious FS3570 warning with Active Pattern #16410: Repo Assist labelled AI-thinks-issue-fixed — spurious FS3570 warning with Active Pattern fixed by PR Bugfix for DotLambda - (a, (b, c)) was incorrectly detected as a discard (a compiler generated one was there) #16334 — verify and close — View
• Check comment on Symbols API: FSharpEntity.IsByRef is false for byref`1 #3532: Repo Assist labelled AI-thinks-issue-fixed — FSharpEntity.IsByRef now returns true for byref<'T> — verify and close — View
• Check comment on Stress test on type system involving many statically resolved type parameters #9382: Repo Assist labelled AI-thinks-issue-fixed — SRTP stress test (FS0073 internal error) now compiles correctly — verify and close — View
• Check comment on Undefined or unsolved type variable #9878: Repo Assist labelled AI-thinks-issue-fixed — SRTP undefined type variable now resolved correctly — verify and close — View
• Check comment on Units of Measure applied to literal bindings are ignored #6929: Repo Assist labelled AI-thinks-issue-fixed — Units of Measure now preserved on literal bindings — verify and close — View
• Check comment on Finding references / renaming doesn't work for active patterns in signature files #14969: Repo Assist labelled AI-thinks-issue-fixed — finding references/renaming for active patterns in sig files fixed by PR Find All References and Rename Symbol Bug Fixes #19252 — verify and close — View
• Check comment on Problem consuming C# API with default value for parameter #13519: Repo Assist labelled AI-thinks-issue-fixed — C# API with optional param + ParamArray now callable without specifying defaults — verify and close — View
• Check comment on Internal error when using custom attribute and omitting optional argument #8353: Repo Assist commented with root cause and one-line fix — optional bool attribute arg without DefaultParameterValue causes internal error — implement fix in IlxGen.fs — View
• Check comment on Needless allocations on invocation of array of functions #3660: Repo Assist labelled AI-thinks-issue-fixed — needless closure allocations for indexed for loop with function application now 0 bytes — verify and close — View
• Check comment on FS2014 when using tupled args #6379: Repo Assist confirmed FS2014 still present in F# 10.0; clean minimal project repro provided — View
• Check comment on Protected member inaccessible #5302: Repo Assist confirmed protected field FS1097 via closure still present in F# 10.0; direct vs closure repro provided — View
• Check comment on Update signature generation to include Sealed/Class/Interface attribute for OO-style type constructs #14308: Repo Assist labelled AI-thinks-issue-fixed — signature generation now emits [(Class)] for OO-style class types — verify and close — View
• Check comment on Signature generation must include private field info in case of Structs #14310: Repo Assist labelled AI-thinks-issue-fixed — private struct fields now included in generated .fsi — verify and close — View

(If no actions needed, state "No suggested actions at this time.")

Additional observations for maintainer's attention

Issue #4135 (Symbols API: CompiledName returns accessor name, not property name) — confirmed still present: [(CompiledName("Bar"))] member x.Foo1 = 123 returns CompiledName = "get_Foo1" instead of "Bar"; member x.Foo2 with set(_) = () returns CompiledName = "set_Foo2" instead of "Foo2" — View

Issue #5263 (sbyte array comparison with negative values gives wrong results) was reportedly fixed in 2018 via PR #5267 but analysis strongly suggests the bug (unsigned comparison instead of signed) is still present — dsyme has indicated a regression test should be added.

Issue #14160 (FSI session corrupted by invalid interpolated string $"{")) — live-verified: after inputting $"{";; in FSI, subsequent valid string literals like "";; and "hello";; also fail with FS3373 errors — the lexer state is permanently corrupted for the rest of the session — View

Issue #13981 (Duplicate member signature not reported in signature file) — live-verified: a .fsi file with two member IsFunction: bool entries compiles without error; the compiler should report FS0037 or similar — View

Issue #13201 (F# can't subclass C# type with covariant return override of abstract member) — live-verified on .NET 10 / F# 10.0: type Class3() = inherit Class2() still fails with FS0365/FS0054 — View

Issue #14013 (System.Int32.op_Addition(3, 6) fails with FS0039 while System.Int128.op_Addition(3, 6) works) — live-verified: inconsistency still present in F# 10.0 — View

Issue #12464 (Green color ascribed to end of a range, and to methods in editor) also affects VS Code/Ionide — a Dec 2025 comment shows reproduction in VS Code. This is cross-platform, not Windows-only.

Issue #14321 (Build fails without feedback when reusing DU constructor and IWSAM member names) is a confirmed bug where IL phase2 produces a "duplicate entry in property table" error with no compile-time diagnostic. As of Jan 2025, a contributor (edgarfgp) is investigating a fix — View.

Issue #12303 (AddBackticksToIdentifierIfNeeded adds ticks for not word) — has a clear, small fix: remove not from keywordsWithDescription in PrettyNaming.fs since not is a library function, not a lexer keyword — View.

Issue #12300 (Values inside as patterns are disposed multiple times — use a as b = d disposes d twice) is confirmed still present in F# 10.0 / FSI 14.0.105.0 — View.

Issue #11929 (Calling protected static base member from static do raises MethodAccessException) — remains open for the default compilation mode (fixed only with --realsig+) — View.

Issue #13099 (Task CE drops exception in Release mode) — confirmed still present; optimizer eliminates entire task { ... } block including side effects in Release mode — high-impact correctness bug — View.

Issue #5834 (CLIEvent abstract event accessors missing specialname IL flag) — confirmed still present; GenAbstractBinding in IlxGen.fs returns no method defs for abstract CLIEvent properties, so add_X/remove_X never get WithSpecialName — View.

Signature generation roundtrip gap: Issue #13810 still open — signature generation (--sig) doesn't preserve literal names in attribute arguments. Issues #14308 and #14310 have been labelled fixed this run.

Issue #6116 (FSI pretty print of values shows same text for records and anonymous records) — confirmed still present; anonymous records need {| / |} delimiters but get { — View.

Issue #14508 (nativeptr in interfaces leads to runtime errors) — confirmed still present; implementing a non-generic type with an interface containing nativeptr<'T> member still throws TypeLoadException at runtime — View.

Issue #13849 (Unused binding warning isn't reported for recursive binding in a type) — confirmed still present with --warnon:1182; f in let rec f x = () and g x = () not reported as unused even when only g is called — View.

Issue #13832 (Incorrect signature generated for recursive module with do ()) — live-verified via dotnet build --sig: module rec Foobar with do () outputs val ``doval@3`` : unit in the generated .fsi. Fix: set isCompilerGenerated=true for doval@ vals in AnalyzeAndMakeAndPublishRecursiveValue (CheckExpressions.fs ~line 12461), or filter by name in NicePrint.filterVal — View.

Issue #7114 (Compiler allows boxing byreflike type, leading to runtime crash) — confirmed still present in F# 9.0: let sp = Span(int).Empty in a function then sp.GetType() compiles silently but throws System.InvalidProgramException: Cannot create boxed ByRef-like values at runtime — compiler should emit an error — View.

Issue #3783 (Mutually recursive computation expression raises NullReferenceException) — confirmed still present: let rec a = seq { yield 0; yield! b() } and b () = seq { ... } compiles with FS0040 warning but throws NullReferenceException at runtime when a is a value (not a function) — View.

Issue #6293 (Struct member access inside quotation gives compile error FS3155) — confirmed still present: accessing a field of a struct captured local variable in a quotation <@ s.A @> gives FS3155 "A quotation may not involve an assignment to or taking the address of a captured local variable" — View.

Issue #6338 ([(Literal)] references fail in recursive modules) — confirmed still present: let [(Literal)] x = "" then let [(Literal)] y = x inside module rec gives FS0039 "The value or constructor 'x' is not defined" — root cause: literals are not established in a separate phase — View.

Issue #5795 (Attributes defined in a rec module can't be used in the same rec module) — confirmed still present: a custom attribute defined in module rec M cannot be applied to union cases or type parameters in the same module — View.

Issue #6110 (Incorrect error message when mixing struct/reference anonymous records) — confirmed still present in ConstraintSolver.fs line 1159: when struct/ref anonymous records are mixed, the error says "One tuple type is a struct tuple, the other is a reference tuple" — should mention anonymous records, not tuples — View.

Issue #6941 ({||} cannot be used as a type annotation) — confirmed from pars.fsy: the braceBarFieldDeclListCore grammar rule requires at least one field; there is no rule for empty anonymous record type. Expression {||} works fine but type annotation let x : {||} = {||} fails — View.

Issue #11785 (Bitwise ||| on char enum fails at runtime with NotSupportedException) — confirmed still present in F# 10.0 / FSI 14.0.105.0: type Enum = A = 'A' | B = 'B' then box (Enum.A ||| Enum.B) throws Dynamic invocation of op_Addition involving coercions is not supported — View.

Future Work for Repo Assist

• Continue scanning open Bug issues (cursor reset to page 1 — all pre-2023 Bug issues scanned)
• Investigate issues Unused binding warning isn't reported for recursive binding in a type #13849 (unused recursive binding warning) and Duplicate member signature error is not reported in signature files #13981 (duplicate sig member not reported) more deeply

Run History

2026-03-24 12:45 UTC — Run

• 🔍 Verified Bitwise or on a char enum should error at compile time #11785 (char enum ||| on char enum fails at runtime) — still present in F# 10.0
• 🔍 Verified Values inside 'as' patterns are disposed multiple times #12300 (double dispose in use a as b pattern) — still present in F# 10.0
• 📋 5 previously labelled issues closed by maintainers: Index out of range when building with shipped compiler #14879, Wrong XmlDoc for union case when previous case contains no bar #11488, Wrong type accessibility error is not reported for a signature #11331, File-level hash directives are not supported if file is defined as a single module #14152, outref parameter from an interface method is compiled as byref parameter #13468

2026-03-24 06:45 UTC — Run

• 💬 Commented on Update signature generation to include Sealed/Class/Interface attribute for OO-style type constructs #14308: signature generation [(Class)] attribute for OO-style types confirmed fixed
• 💬 Commented on Signature generation must include private field info in case of Structs #14310: private struct fields in generated .fsi confirmed fixed
• 🏷️ Labelled Update signature generation to include Sealed/Class/Interface attribute for OO-style type constructs #14308 with AI-thinks-issue-fixed
• 🏷️ Labelled Signature generation must include private field info in case of Structs #14310 with AI-thinks-issue-fixed

2026-03-23 — Multiple runs

• 🏷️ Various issues labelled AI-thinks-issue-fixed (see prior entries)
• 💬 Commented on multiple issues with verification results

Generated by Repo Assist · ◷

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/repo-assist.md@9135cdfde26838a01779aa966628308404ec1f02

Generated by Repo Assist · ◷

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/repo-assist.md@9135cdfde26838a01779aa966628308404ec1f02

[github-actions]

🤖 This is an automated response from Repo Assist.

Run Update: 2026-03-20 20:38 UTC — Run

Cycle 8 – Final scan of pre-2023 bugs complete.

Scanned all remaining unlabeled pre-2023 bugs (21 total). Confirmed the following are still genuine open bugs — no changes needed:

• Generic Record Types have different Equality semantics to concrete types #527 — Generic Record Types have different IStructuralEquatable semantics to concrete types (verified reproducible in current F# SDK)
• Identifiers with '@' symbol generate invalid code #1255 — Identifiers with @ symbol generate invalid code — BarAt returns "bar" instead of "hello" (verified reproducible)
• No message reported when a ProvidedType has an ObsoleteAttribute #897 — No ObsoleteAttribute warning on ProvidedType definitions — TODO: provided attributes comment still in AttributeChecking.fs:140
• Type annotation adjacency warning doesn't consider operator names #774, Illegal prefix operators sometimes compile fine, but give confusing errors when applied #792, No diagnostic when custom attributes ignored on unparenthesized tuple type #462, Enum type is lost when used in attribute #995, Access protected const from base class in attribute #3172, Problem: Unlike C#, the F# compiler allows multiple entries of assembly attributes #3548, Async.DefaultCancellationToken susceptible to memory leaks #3590, fsi reference order matter #3600 — all confirmed genuinely open

Also closed duplicate issue #19438 (older "[Repo Assist] Monthly Activity 2026-03").

All pre-2023 bugs are now fully scanned (8 cycles). Next run: move to post-2023 bugs.

Generated by Repo Assist · ◷

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/repo-assist.md@9135cdfde26838a01779aa966628308404ec1f02

[github-actions]

🤖 This is an automated update from Repo Assist.

2026-03-21 09:38 UTC — Run

• 🔍 Cycle 22: Scanned all 10 pages (284 pre-2023 bugs, issues Instantiating a generative type provider twice results in invalid IL #37–nativeptr in interfaces leads to runtime errors #14508) — no new fixed/Windows-only candidates found with high confidence
• 🔍 Checked in detail: Unions with 4 or more cases silently fail to utilize UseNullAsTrueValue. #711 (UseNullAsTrueValue/4+ cases, locked), Duplicate cases in match statement not producing compiler warnings if grouped #3448 (duplicate match cases — by-design OR pattern behavior), Compiler allows us to box a byreflike type, leading to runtime crash #7114 (boxing byreflike — still open), [<CompiledName>] ignored on extension properties #9405 (CompiledName on extension properties — still open), Pseudo namespace "global" fails when used with specifying record fields, and acts odd with DU fields #10282 (global namespace with record fields — still open), Calling op_Addition on primitive types doesn't work #14013 (op_Addition on primitives — labeled Resolution-By Design), Syntax error with string interpolation - Unexpected identifier in binding #14394 (string interpolation syntax error — still open)
• 🔍 Cycle 22 complete — proceeding to Cycle 23 next run

Generated by Repo Assist · ◷

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/repo-assist.md@9135cdfde26838a01779aa966628308404ec1f02

[github-actions]

🤖 This is an automated update from Repo Assist.

2026-03-23 05:08 UTC — Run

• 🔍 Cycle 55: Pivoted to post-2023 Bug issues — scanned first 50 issues (Jan–Jun 2023, Editor Sticky Scroll not working properly with F# #14542–Invalid error range for special cases of NoEquality types #15518)
• 🔍 Investigated in detail: Type inference in task/backgroundTask CE can lead to "FS0073: internal error: Undefined or unsolved type variable" #14596 (FS0073 in task CE), Too many & and | patterns cause Visual Studio/Ionide to use up all available memory #15086 (memory exhaustion with &/| patterns), try catch inside of task does not compile correctly, requires return value even if exception is thrown #15419 (try/catch in task requiring return), Signature mismatch with no comparable struct #15339 (sig mismatch for no-comparable struct), TypeLoadException using CE applicatives and AOT #15488 (TypeLoadException in CE applicatives with AOT), Incorrect warning for active pattern signature with generic parameters #14736 (FS1189 false warning for active pattern generic params)
• 🔍 No new AI-thinks-issue-fixed or AI-thinks-windows-only candidates found with high confidence in this batch
• 📋 Next run: continue post-2023 scan from Jul 2023+

Generated by Repo Assist · ◷

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/repo-assist.md@9135cdfde26838a01779aa966628308404ec1f02