MichaelGlass.FSharp.Analyzers 0.1.0-alpha.6

This is a prerelease version of MichaelGlass.FSharp.Analyzers.

There is a newer prerelease version of this package available.
See the version list below for details.

dotnet add package MichaelGlass.FSharp.Analyzers --version 0.1.0-alpha.6

NuGet\Install-Package MichaelGlass.FSharp.Analyzers -Version 0.1.0-alpha.6

This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package.

<PackageReference Include="MichaelGlass.FSharp.Analyzers" Version="0.1.0-alpha.6">
  <PrivateAssets>all</PrivateAssets>
  <IncludeAssets>runtime; build; native; contentfiles; analyzers</IncludeAssets>
</PackageReference>

For projects that support PackageReference, copy this XML node into the project file to reference the package.

<PackageVersion Include="MichaelGlass.FSharp.Analyzers" Version="0.1.0-alpha.6" />
                    

                            Directory.Packages.props

<PackageReference Include="MichaelGlass.FSharp.Analyzers">
  <PrivateAssets>all</PrivateAssets>
  <IncludeAssets>runtime; build; native; contentfiles; analyzers</IncludeAssets>
</PackageReference>
                    

                            Project file

For projects that support Central Package Management (CPM), copy this XML node into the solution Directory.Packages.props file to version the package.

paket add MichaelGlass.FSharp.Analyzers --version 0.1.0-alpha.6

The NuGet Team does not provide support for this client. Please contact its maintainers for support.

#r "nuget: MichaelGlass.FSharp.Analyzers, 0.1.0-alpha.6"

#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package.

#:package MichaelGlass.FSharp.Analyzers@0.1.0-alpha.6

#:package directive can be used in C# file-based apps starting in .NET 10 preview 4. Copy this into a .cs file before any lines of code to reference the package.

#addin nuget:?package=MichaelGlass.FSharp.Analyzers&version=0.1.0-alpha.6&prerelease
                    

                            Install as a Cake Addin

#tool nuget:?package=MichaelGlass.FSharp.Analyzers&version=0.1.0-alpha.6&prerelease
                    

                            Install as a Cake Tool

The NuGet Team does not provide support for this client. Please contact its maintainers for support.

MichaelGlass.FSharp.Analyzers

F# analyzers that catch bugs the compiler can't: silent exception swallowing, hidden match cases, raw SQL, and missing error reporting.

Built on FSharp.Analyzers.SDK. Configured via .editorconfig. Every diagnostic can be suppressed inline with // {CODE}:ok.

Install

dotnet add package MichaelGlass.FSharp.Analyzers

Then enable the SDK in your editor or CI.

Analyzers

Code	Name	What it catches	Why it matters	Config
`MGA-WILDCARD-001`	Wildcard on DU	`\| _ ->` on discriminated unions	New union cases silently fall into the catch-all instead of producing a compiler warning	`mga_wildcard_allowed_types`
`MGA-TASK-IGNORE-001`	Task Ignore	`Task.Run(...) \\|> ignore`	Exceptions in the ignored task vanish — no crash, no log, no trace	(always on)
`MGA-RAWSQL-001`	Raw SQL	String literals starting with SQL keywords	Raw SQL is injection-prone, invisible to the type system, and breaks silently on schema changes	`mga_rawsql_excluded_files`
`MGA-ERROR-REPORT-001`	Error Reporting	`try/with` blocks missing an error-reporting call	Silent catches hide production failures from your observability stack	`mga_error_reporting_functions`
`MGA-UNSAFE-CALL-001`	Restricted Call	Banned functions, banned call patterns, unsafe dynamic args	Project-specific guardrails for dangerous APIs (XSS, concurrency, etc.)	`mga_banned_functions`, `mga_banned_call_patterns`, `mga_unsafe_dynamic_arg_functions`

Always-on analyzers

Wildcard on DU and Task Ignore and Raw SQL are enabled by default. Option, Result, and Choice types are allowed by the wildcard analyzer — add more via .editorconfig:

[*.fs]
mga_wildcard_allowed_types = MyApp.ParseResult, MyApp.Token
mga_rawsql_excluded_files = Migrations.fs

Opt-in analyzers

Error Reporting and Restricted Call do nothing until configured:

[*.fs]
# Error Reporting: require these functions in every catch handler
mga_error_reporting_functions = captureError, logError

# Restricted Call: ban specific functions
mga_banned_functions = Task.WhenAll, Thread.Sleep

# Restricted Call: ban function + argument combinations
mga_banned_call_patterns = Attr.type':submit

# Restricted Call: flag non-literal args to injection-sensitive functions
mga_unsafe_dynamic_arg_functions = Text.raw, Html.rawText

Suppression

Add // {CODE}:ok on the flagged line, or anywhere in the comment block directly above it:

match shape with
| Circle r -> drawCircle r
| _ -> drawDefault () // MGA-WILDCARD-001:ok — fallback is intentional here

A justification too long for one line goes on its own lines. The marker binds from anywhere in that block, so it can lead the justification or trail it:

// MGA-ERROR-REPORT-001:ok — a part we cannot decode contributes no fields;
// the caller's report is still recorded from whatever else parsed.
try
    decodePart raw
with _ ->
    []

The block ends at the first blank line or line of code. A marker separated from the construct that way does not suppress — which is what stops a marker left behind by an earlier edit from silencing whatever moved in underneath it.

License

MIT

There are no supported framework assets in this package.

Learn more about Target Frameworks and .NET Standard.

This package has no dependencies.

NuGet packages

This package is not used by any NuGet packages.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version	Downloads	Last Updated
0.1.0-alpha.8	56	9/29/2026
0.1.0-alpha.7	106	9/26/2026
0.1.0-alpha.6	114	9/20/2026
0.1.0-alpha.5	511	8/19/2026
0.1.0-alpha.4	240	6/25/2026
0.1.0-alpha.3	77	6/24/2026
0.1.0-alpha.2	81	6/24/2026
0.1.0-alpha.1	174	4/13/2026