Visual F# Compiler and Tools Files

Release

What's Changed

• Switch to new VMR control set by @mmitche in https://github.com/dotnet/fsharp/pull/17703
• Fix docs for F# language by @nojaf in https://github.com/dotnet/fsharp/pull/17750
• Fix17713 - Reverting PR - 17649 - Make the interaction between #line and #nowarn directives consistent by @KevinRansom in https://github.com/dotnet/fsharp/pull/17724
• ExcludeFromSourceBuild->ExcludeFromSourceOnlyBuild by @mmitche in https://github.com/dotnet/fsharp/pull/17754
• Make ILTypeDef interface calculation lazy by @DedSec256 in https://github.com/dotnet/fsharp/pull/17392
• FSI: make scripting temp directory one per session instead of global by @majocha in https://github.com/dotnet/fsharp/pull/17760
• Update Versions.props by @vzarytovskii in https://github.com/dotnet/fsharp/pull/17764
• reenable attribute usage in F# 9.0 by @KevinRansom in https://github.com/dotnet/fsharp/pull/17763
• Better ranges for CE let! and use! error reporting. by @edgarfgp in https://github.com/dotnet/fsharp/pull/17712
• Migrate VisualFSharp tests to Xunit by @psfinaki in https://github.com/dotnet/fsharp/pull/17751
• Removing Nunit from utils by @psfinaki in https://github.com/dotnet/fsharp/pull/17770
• Better error reporting for CE do! by @edgarfgp in https://github.com/dotnet/fsharp/pull/17779
• Clean up FsUnit by @psfinaki in https://github.com/dotnet/fsharp/pull/17781
• Eradicate Nunit by @psfinaki in https://github.com/dotnet/fsharp/pull/17782
• Remove a bunch of dead test data by @psfinaki in https://github.com/dotnet/fsharp/pull/17771
• Ensure frameworkTcImportsCache mutations are threadsafe by @majocha in https://github.com/dotnet/fsharp/pull/17795
• Turn off realsig when building product and proto by @vzarytovskii in https://github.com/dotnet/fsharp/pull/17798
• Bugfix for extension methods: Treat System.Private.CoreLib as a system lib for extension method search by @T-Gro in https://github.com/dotnet/fsharp/pull/17799
• Better error reporting for CE match! by @edgarfgp in https://github.com/dotnet/fsharp/pull/17789
• Fix 17786 - CompileBefore/CompileAfter is lost due to the FSharpSourceCodeCompileOrder target by @KevinRansom in https://github.com/dotnet/fsharp/pull/17791
• Respect generic arity in method uniqueness by @T-Gro in https://github.com/dotnet/fsharp/pull/17804
• Remove unused useSyntaxTreeCache option by @majocha in https://github.com/dotnet/fsharp/pull/17768
• Improve StartWithContinuations test in AsyncType tests by @majocha in https://github.com/dotnet/fsharp/pull/17767
• Rendering AllowsRefStruct for type parameters by @T-Gro in https://github.com/dotnet/fsharp/pull/17706
• Enable policheck and TSA by @vzarytovskii in https://github.com/dotnet/fsharp/pull/17818
• Fix concurrency issue in ILPreTypeDefImpl by @majocha in https://github.com/dotnet/fsharp/pull/17812
• Tests: remove dependency on CurrentDirectory ("test.ok" files) by @majocha in https://github.com/dotnet/fsharp/pull/17815
• CompilerOrder: set metadata for CompileFirst items by @auduchinok in https://github.com/dotnet/fsharp/pull/17820
• Nullness bugfix - change isObjTy early returns in ConstraintSolver by @T-Gro in https://github.com/dotnet/fsharp/pull/17757
• Allow decimal constants by @esbenbjerre in https://github.com/dotnet/fsharp/pull/17769
• Better error reporting for return, yield, return! and yield! by @edgarfgp in https://github.com/dotnet/fsharp/pull/17792
• Merge release/dev17.12 to main by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17842
• 17.13 versioning by @vzarytovskii in https://github.com/dotnet/fsharp/pull/17844
• fix parsing table cache bug by @Martin521 in https://github.com/dotnet/fsharp/pull/17816
• Regression test for [#14304] by @edgarfgp in https://github.com/dotnet/fsharp/pull/17839
• Merge release/dev17.12 to main by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17851
• Merge release/dev17.12 to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17850
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17852
• Better error reporting for use by @edgarfgp in https://github.com/dotnet/fsharp/pull/17811
• make Assertions.withExitCode work by @Martin521 in https://github.com/dotnet/fsharp/pull/17830
• Localized file check-in by OneLocBuild Task: Build definition ID 499: Build ID 2555417 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17854
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17855
• Revamp decimal literal tests by @esbenbjerre in https://github.com/dotnet/fsharp/pull/17836
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17861
• Readability of lex.fsl by @Martin521 in https://github.com/dotnet/fsharp/pull/17817
• .NET 9rc2 by @vzarytovskii in https://github.com/dotnet/fsharp/pull/17860
• Merge release/dev17.12 to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17862
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17869
• [main] Update dependencies from dotnet/source-build-reference-packages by @dotnet-maestro in https://github.com/dotnet/fsharp/pull/17758
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17873
• Fix a link in release notes by @psfinaki in https://github.com/dotnet/fsharp/pull/17883
• Nullness bugfix :: could not assign null to member val property by @T-Gro in https://github.com/dotnet/fsharp/pull/17845
• Better inherit error reporting by @edgarfgp in https://github.com/dotnet/fsharp/pull/17879
• Asorted tests improvements by @majocha in https://github.com/dotnet/fsharp/pull/17840
• [main] Update dependencies from dotnet/source-build-reference-packages by @dotnet-maestro in https://github.com/dotnet/fsharp/pull/17875
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17885
• Better error range for struct and restricted super types inherit by @edgarfgp in https://github.com/dotnet/fsharp/pull/17886
• Update tools to latest versions by @vzarytovskii in https://github.com/dotnet/fsharp/pull/17889
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17890
• Update source-build team references by @MichaelSimons in https://github.com/dotnet/fsharp/pull/17894
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17892
• RFC FS-1033: Deprecate places where seq can be omitted by @edgarfgp in https://github.com/dotnet/fsharp/pull/17772
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17895
• Rename SourceBuildUseMonoRuntime property, which is not SB specific by @directhex in https://github.com/dotnet/fsharp/pull/17778
• Merge release/dev17.12 to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17910
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17908
• Convert OCE to empty value on certain VS operations by @0101 in https://github.com/dotnet/fsharp/pull/17906
• Merge release/dev17.12 to main by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17863
• [main] Update dependencies from dotnet/source-build-reference-packages by @dotnet-maestro in https://github.com/dotnet/fsharp/pull/17891
• Localized file check-in by OneLocBuild Task: Build definition ID 499: Build ID 2567162 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17912
• Merge release/dev17.12 to main by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17913
• Preserve console encoding when using --utf8output switch without swapping console streams by @majocha in https://github.com/dotnet/fsharp/pull/17761
• Fix Internal error when analysing incomplete inherit member by @edgarfgp in https://github.com/dotnet/fsharp/pull/17905
• Disallow abstract member with access modifiers in sig file by @ijklam in https://github.com/dotnet/fsharp/pull/17802
• Restore AwaitTaskCancellationAfterAsyncTokenCancellation test to original shape by @majocha in https://github.com/dotnet/fsharp/pull/17923
• Better ranges for implicit inherit error reporting. by @edgarfgp in https://github.com/dotnet/fsharp/pull/17893
• Fix potential OCE in graph processing by @majocha in https://github.com/dotnet/fsharp/pull/17921
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17914
• [main] Update dependencies from dnceng/internal/dotnet-optimization by @dotnet-maestro in https://github.com/dotnet/fsharp/pull/17919
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17926
• Fix missing TailCall warning in Sequential in use scope, [#17897] by @dawedawe in https://github.com/dotnet/fsharp/pull/17927
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17936
• Fix Post on disposed mailbox (#17849) by @majocha in https://github.com/dotnet/fsharp/pull/17922
• Fix [#17501] by @vzarytovskii in https://github.com/dotnet/fsharp/pull/17668
• simplify the code for diagnostics severity adjustment by @Martin521 in https://github.com/dotnet/fsharp/pull/17896
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17941
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17947
• fix OriginalLine processing in lexing by @Martin521 in https://github.com/dotnet/fsharp/pull/17949
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17954
• Warnings for invalid #nowarn arguments by @Martin521 in https://github.com/dotnet/fsharp/pull/17871
• Warn on uppercase identifiers in patterns. by @edgarfgp in https://github.com/dotnet/fsharp/pull/15816
• Enable parallel compilation features for users of LangVersion=preview by @T-Gro in https://github.com/dotnet/fsharp/pull/17948
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17958
• Fix missing nullness warning in case of multiple applicable candidates for method resolution (e.g. string and ROS<char>) by @T-Gro in https://github.com/dotnet/fsharp/pull/17918
• Update README.md with contributor call out by @T-Gro in https://github.com/dotnet/fsharp/pull/17946
• [main] Update dependencies from dotnet/source-build-reference-packages by @dotnet-maestro in https://github.com/dotnet/fsharp/pull/17937
• Consolidate test helpers a bit by @psfinaki in https://github.com/dotnet/fsharp/pull/17938
• Some more assorted tests improvements by @majocha in https://github.com/dotnet/fsharp/pull/17931
• Run ILVerify by @vzarytovskii in https://github.com/dotnet/fsharp/pull/17953
• Refactor BufferLocalStore related code by @Martin521 in https://github.com/dotnet/fsharp/pull/17959
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17967
• ILVerify fixes by @vzarytovskii in https://github.com/dotnet/fsharp/pull/17969
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17972
• [main] Update dependencies from dotnet/source-build-reference-packages by @dotnet-maestro in https://github.com/dotnet/fsharp/pull/17971
• Localized file check-in by OneLocBuild Task: Build definition ID 499: Build ID 2577103 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17970
• String operator always returning nonNull string by @T-Gro in https://github.com/dotnet/fsharp/pull/17809
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17983
• Re-enable TransparentCompiler tests by @majocha in https://github.com/dotnet/fsharp/pull/17966
• Re-enable TransparentCompiler tests, an errata by @majocha in https://github.com/dotnet/fsharp/pull/17986
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/17985
• [main] Update dependencies from dotnet/source-build-reference-packages by @dotnet-maestro in https://github.com/dotnet/fsharp/pull/17984
• Bugfix:: Make bound values available to filter clause for try-with in seq{} by @T-Gro in https://github.com/dotnet/fsharp/pull/17990
• Nullness - downcasting and typetests should understand nullness information by @T-Gro in https://github.com/dotnet/fsharp/pull/17965
• .NET 9 RTM by @vzarytovskii in https://github.com/dotnet/fsharp/pull/17997
• TestConsole supporting parallel execution by @majocha in https://github.com/dotnet/fsharp/pull/17993
• Use library-packs also when RestoreAdditionalProjectSources is explicitly set. by @tmds in https://github.com/dotnet/fsharp/pull/18000
• Let 'dotnet fsi --help' print a link to the documentation website. by @dawedawe in https://github.com/dotnet/fsharp/pull/18006
• Update DEVGUIDE.md about ILVerify by @psfinaki in https://github.com/dotnet/fsharp/pull/17998
• Bump MacOS by @psfinaki in https://github.com/dotnet/fsharp/pull/18023
• Add -sign to build.sh by @ellahathaway in https://github.com/dotnet/fsharp/pull/18024
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/18030
• Fix singing problems by @psfinaki in https://github.com/dotnet/fsharp/pull/18040
• Skip flaky test by @0101 in https://github.com/dotnet/fsharp/pull/18051
• Remove support for System.AggressiveAttributeTrimming feature switch. by @teo-tsirpanis in https://github.com/dotnet/fsharp/pull/18039
• Update some internal guidelines by @psfinaki in https://github.com/dotnet/fsharp/pull/18052
• Simplify and reuse code around temp dirs in FSharp.Compiler.Service.Tests by @majocha in https://github.com/dotnet/fsharp/pull/18046
• Add Contributing.md by @KevinRansom in https://github.com/dotnet/fsharp/pull/18043
• [main] Update dependencies from dotnet/arcade by @dotnet-maestro in https://github.com/dotnet/fsharp/pull/17729
• Refactor AsyncMemoize, introduce AsyncLazy by @majocha in https://github.com/dotnet/fsharp/pull/18002
• Fix crashdump paths in CI by @vzarytovskii in https://github.com/dotnet/fsharp/pull/18065
• Various updates to ILVerify by @vzarytovskii in https://github.com/dotnet/fsharp/pull/18060
• Fix [#18055] - Add null annotation to Async.SwitchToContext by @BoundedChenn31 in https://github.com/dotnet/fsharp/pull/18059
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/18080
• Update insertion instructions by @0101 in https://github.com/dotnet/fsharp/pull/18085
• Fix [#17903] by @vzarytovskii in https://github.com/dotnet/fsharp/pull/18025
• Some AsyncMemoize fixes by @majocha in https://github.com/dotnet/fsharp/pull/18074
• Support ldelem.u8, ldelem.u opcode aliases by @brianrourkeboll in https://github.com/dotnet/fsharp/pull/18081
• Add FSharpWorkspace to FCS by @0101 in https://github.com/dotnet/fsharp/pull/18032
• Fix error output in tests by @vzarytovskii in https://github.com/dotnet/fsharp/pull/18097
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/18083
• [main] Update dependencies from dotnet/source-build-reference-packages by @dotnet-maestro in https://github.com/dotnet/fsharp/pull/18088
• Merge release/dev17.12 to main by @dotnet-bot in https://github.com/dotnet/fsharp/pull/18099
• Fix one test by @majocha in https://github.com/dotnet/fsharp/pull/18072
• Update INTERNAL.md with info about getting access to Darc. by @0101 in https://github.com/dotnet/fsharp/pull/18073
• Bugfix :: Nullness :: Add warnings for instantiations of (T|null) which are not allowed in F# (frequent at Deserialize from S.T.Json) by @T-Gro in https://github.com/dotnet/fsharp/pull/18057
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/18102
• [main] Update dependencies from dotnet/source-build-reference-packages by @dotnet-maestro in https://github.com/dotnet/fsharp/pull/18107
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/18108
• AsyncLazy bugfix by @majocha in https://github.com/dotnet/fsharp/pull/18101
• Nullness :: Bugfix :: Codegen missing metadata for C# consumers (records,DUs,exceptions) by @T-Gro in https://github.com/dotnet/fsharp/pull/18079
• Merge main to feature/lsp by @dotnet-bot in https://github.com/dotnet/fsharp/pull/18106
• Make sure CheckAndThrow is invoked only within ambient Cancellable context by @majocha in https://github.com/dotnet/fsharp/pull/18037
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/18110
• Streamlining test deps a bit by @psfinaki in https://github.com/dotnet/fsharp/pull/18022
• Format ILVerify output a bit by @psfinaki in https://github.com/dotnet/fsharp/pull/18120
• fix for race condition in FileIndex.fileIndexOfFile by @Martin521 in https://github.com/dotnet/fsharp/pull/18008
• Merge release/dev17.12 to main by @dotnet-bot in https://github.com/dotnet/fsharp/pull/18104
• Fix how much is trimmed from an interp string part by @abonie in https://github.com/dotnet/fsharp/pull/18123
• Sink: report SynPat.ArrayOrList type by @DedSec256 in https://github.com/dotnet/fsharp/pull/18127
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/18122
• Skip signing VisualFsharp.sln and FSharp.sln when building with .NET … by @ellahathaway in https://github.com/dotnet/fsharp/pull/18113
• Design doc on reusing typechecking results by @psfinaki in https://github.com/dotnet/fsharp/pull/17368
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/18131
• Fix build script breaking when current directory contains spaces by @jwosty in https://github.com/dotnet/fsharp/pull/18136
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/18133
• Make ILTypeDef super type calculation lazy by @DedSec256 in https://github.com/dotnet/fsharp/pull/18005
• Improved threadsafety for FileIndexTable.FileToIndex by @KevinRansom in https://github.com/dotnet/fsharp/pull/18137
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/18138
• Shim/file system: fix leaks of the shim by @auduchinok in https://github.com/dotnet/fsharp/pull/18144
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/18146
• Show default value of compiler options by @nih0n in https://github.com/dotnet/fsharp/pull/18054
• Parallelize tests by @majocha in https://github.com/dotnet/fsharp/pull/17872
• Merge main to release/dev17.13 by @dotnet-bot in https://github.com/dotnet/fsharp/pull/18151
• Exclude FileSystemTests from parallelization by @majocha in https://github.com/dotnet/fsharp/pull/18153
• Move INTERNAL.md to internal wiki by @0101 in https://github.com/dotnet/fsharp/pull/18155
• FSI: improve thread-safety by @majocha in https://github.com/dotnet/fsharp/pull/18152
• Symbols: try to use ValReprInfoForDisplay in Mfv.CurriedParameterGroups by @auduchinok in https://github.com/dotnet/fsharp/pull/18124
• Completion: fix qualified completion in sequence expressions by @auduchinok in https://github.com/dotnet/fsharp/pull/18111
• Support ValueOption + Struct attribute as optional parameter by @vzarytovskii in https://github.com/dotnet/fsharp/pull/18098
• [main] Update dependencies from dotnet/source-build-reference-packages by @dotnet-maestro in https://github.com/dotnet/fsharp/pull/18167
• Upgrade some runtime packages by @mthalman in https://github.com/dotnet/fsharp/pull/18166
• Deparallelize net9.0 tests in CI by @majocha in https://github.com/dotnet/fsharp/pull/18169
• [main] Update dependencies from dotnet/arcade by @dotnet-maestro in https://github.com/dotnet/fsharp/pull/18193
• Update System.Memory package only for source build by @0101 in https://github.com/dotnet/fsharp/pull/18188
• Fix GraphNode deadlock by @majocha in https://github.com/dotnet/fsharp/pull/18178
• Cancellable: add safer APIs to check the token by @auduchinok in https://github.com/dotnet/fsharp/pull/18175
• Wrap arg in parens when needed when adding new keyword by @brianrourkeboll in https://github.com/dotnet/fsharp/pull/18179
• Cleanup scripts by @KevinRansom in https://github.com/dotnet/fsharp/pull/18192
• Reduce excess memory usage in TransparentCompiler by @TheAngryByrd in https://github.com/dotnet/fsharp/pull/17543
• MaybeNull wrapper round nullness syntax removed and refactored for src/fsi/console.fs by @progressive-galib in https://github.com/dotnet/fsharp/pull/18201
• Merge main to 17.13 by @0101 in https://github.com/dotnet/fsharp/pull/18204
• Update VSInsertionTargetBranchName and version in dev17.13 by @0101 in https://github.com/dotnet/fsharp/pull/18243

New Contributors

• @esbenbjerre made their first contribution in https://github.com/dotnet/fsharp/pull/17769
• @directhex made their first contribution in https://github.com/dotnet/fsharp/pull/17778
• @nih0n made their first contribution in https://github.com/dotnet/fsharp/pull/18054

Full Changelog: https://github.com/dotnet/fsharp/compare/v12.9.101...v13.9.201