Copyright (c) Microsoft Corporation. All Rights Reserved. See License.txt in the project root for license information.
This document contains current and historical release notes information. They are preserved in their original form.
- Current Release notes
- Visual Studio 2017-2019 release notes
- FSharp.Compiler.Service release notes (version 37 and lower)
- Older release notes (pre-F# 4.0)
These release notes track our current efforts to document changes to the F# project over time. They are split into the language, core library, compiler/tools, and compiler service.
- Performance improvement to core collections Map by Victor Baybekov
- Significant improvements to the performance of code making heavy use of closures at runtime
- Warnings for mismatched parameter names between signature and implementation files
- Warnings for incorrect XML documentation files are turned on by default
- Big performance gains in tools for codebases with F# signature files
- Improved responsiveness for most IDE features
- Signature Help for F# function calls
- .NET 5 scripting for Visual Studio
- Add ConvertToAnonymousRecord quick fix #10493
- Add UseMutationWhenValueIsMutable code fix #10488
- Add MakeDeclarationMutable code fix #10480
- Add ChangeToUpcast code fix #10463
- Add AddMissingEqualsToTypeDefinition code fixer #10470
- Tag items in tooltips consistenly with respect to document classification. #9563
- Add ConvertToSingleEqualsEqualityExpression code fix #10462
- Turn XML doc and Sig<->Impl mismatch warnings on by default #10457
- Add ChangeRefCellDerefToNotExpression code fixer #10469
- Add WrapExpressionInParentheses code fix #10460
- Add ChangePrefixNegationToInfixSubtraction code fixeroo #10471
- Fix generic overloads with nullable #10582
- Resolve issue with implicit yields requiring Zero #10556, by Ryan Coy
- Fix issue10550 FSI accessing System.Configuration. #10572
- Add field names to ILNativeType.Custom. #10567, by Scott Hutchinson
- Add field names to the ILExceptionClause.FilterCatch constructor. #10559, by Scott Hutchinson
- Fix completion with backticks, underscores, numbers #10500, by zanaptak
- Emitting IsReadOnly/In attributes on abstract properties #10542
- Disable partial type checking when getting full results for a file #10448
- Fix unused open type declaration detection #10510, by André Slupik
This is a second big update to FCS. There are significant trimmings and renamings of the API and gets it close to a more permanent form:
The primary namespaces are now:
FSharp.Compiler.IO // FileSystem
FSharp.Compiler.CodeAnalysis // FSharpChecker, FSharpCheckFileResults, FSharpChecProjectResults and friends
FSharp.Compiler.Diagnostics // FSharpDiagnostic and friends
FSharp.Compiler.EditorServices // Misc functionality for editors, e.g. interface stub generation
FSharp.Compiler.Interactive.Shell // F# Interactive
FSharp.Compiler.Symbols // FSharpEntity etc
FSharp.Compiler.Syntax // SyntaxTree, XmlDoc, PrettyNaming
FSharp.Compiler.Text // ISourceFile, Range, TaggedText and other things
FSharp.Compiler.Tokenization // FSharpLineTokenizer etc.
-
ErrorHelpers
-->DiagnosticHelpers
-
ErrorResolutionHints.getSuggestedNames
-->ErrorResolutionHints.GetSuggestedNames
-
Everything is moved to one of the other namespaces
-
The
FSharp
prefix is used for things inFSharp.Compiler.Symbols
but notFSharp.Compiler.EditorServices
-
AssemblyContentProvider
-->AssemblyContent
in EditorServices -
AstVisitorBase
--> moved toSyntaxVisitorBase
in FSharp.Compiler.Syntax -
AstVisitorBase.*
-->SyntaxVisitorBase.*
and methods now all takepath
parameters consistently -
AstTraversal.Traverse
-->SyntaxTraversal.Traverse
-
BasicPatterns
-->FSharpExprPatterns
in FSharp.Compiler.Symbols -
DebuggerEnvironment.*
merged intoCompilerEnvironment
in FSharp.Compiler -
ExternalType
-->FindDeclExternalType
in EditorServices -
FSharpChecker.ParseFileNoCache
--> removed in favour of optionalcache=false
argument onFSharpChecker.ParseFile
-
FSharpChecker.BeforeBackgroundFileCheck
event now takes FSharpProjectOptions arg -
FSharpChecker.FileChecked
event now takes FSharpProjectOptions arg -
FSharpChecker.FileParsed
event now takes FSharpProjectOptions arg -
FSharpChecker.ProjectChecked
event now takes FSharpProjectOptions arg -
FSharpCheckFileResults.Errors
-->FSharpCheckFileResults.Diagnostics
-
FSharpCheckProjectResults.Errors
-->FSharpCheckProjectResults.Diagnostics
-
FSharpDeclarationListInfo
-->DeclarationListInfo
in EditorServices -
FSharpEnclosingEntityKind
-->NavigationEntityKind
in EditorServices -
FSharpExternalSymbol
-->FindDeclExternalSymbol
in EditorServices -
FSharpFileUtilities.*
merged intoCompilerEnvironment
in FSharp.Compiler -
FSharpFindDeclResult
-->FindDeclResult
in EditorServices -
FSharpLexer.Lex
-->FSharpLexer.Tokenize
in FSharp.Compiler.Tokenization -
FSharpMethodGroup
-->MethodGroup
in EditorServices -
FSharpMethodGroupItem
-->MethodGroupItem
in EditorServices -
FSharpMethodGroupItemParameter
-->MethodGroupItemParameter
in EditorServices -
FSharpMethodGroupItemParameter.StructuredDisplay
--->MethodGroupItemParameter.Display
-
FSharpMethodGroupItemParameter.StructuredReturnTypeText
--->MethodGroupItemParameter.ReturnTypeText
-
FSharpNavigationDeclarationItem
-->NavigationItem
in EditorServices -
FSharpNavigationTopLevelDeclaration
-->NavigationTopLevelDeclaration
in EditorServices -
FSharpNavigationItems
-->NavigationItems
in EditorServices -
FSharpNavigation
-->Navigation
in EditorServices -
FSharpNavigationDeclarationItemKind
-->NavigationItemKind
in EditorServices -
FSharpNoteworthyParamInfoLocations
-->ParameterLocations
-
FSharpProjectOptions.ExtraProjectInfo
is removed -
FSharpSemanticClassificationItem
-->SemanticClassificationItem
in EditorServices -
FSharpSemanticClassificationView
-->SemanticClassificationView
in EditorServices -
FSharpStructuredToolTipText
-->ToolTipText
in EditorServices -
FSharpStructuredToolTipElementData
-->ToolTipElementData
in EditorServices -
FSharpStructuredToolTipElement
-->ToolTipElement
in EditorServices -
FSharpSymbol.Accessibility
is now non-optional. Will return "public" in cases it previously returned "None" -
FSharpSymbol.XmlDoc
now returnsFSharpXmlDoc
with cases for internal and external XML doc. Usematch symbol.XmlDoc with FSharpXmlDoc.FromText doc -> doc.UnprocessedLines
to get unprocessed XML lines -
FSharpSymbol.ElaboratedXmlDoc
now removed. Usematch symbol.XmlDoc with FSharpXmlDoc.FromText doc -> doc.GetElaboratedLine()
-
FSharpToolTipText
-->ToolTipText
in EditorServices -
FSharpToolTipElementData
-->ToolTipElementData
in EditorServices -
FSharpToolTipElement
-->ToolTipElement
in EditorServices -
FSharpType.FormatLayout
now returnsTaggedText[]
-
FSharpType.FormatLayout
now returnsTaggedText[]
-
FSharpUnresolvedSymbol
-->UnresolvedSymbol
in EditorServices -
InterfaceStubGenerator.*
are all capitalized -
Idents
-->ShortIdents
in EditorServices -
LongIdent
abbreviation removed and replaced bystring
-
NavigateTo.NavigableItemKind
--> now directly in EditorServices -
NavigateTo.ContainerType
-->NavigableContainerType
now directly in EditorServices -
NavigateTo.NavigableItem
-->NavigableItem
now directly in EditorServices -
NavigateTo.getNavigableItems
--> NavigateTo.GetNavigableItems in EditorServices -
ParamTypeSymbol
-->FindDeclExternalParam in EditorServices
-
ParsedInput.tryFindInsertionContext
-->ParsedInput.TryFindInsertionContext
-
ParsedInput.findNearestPointToInsertOpenDeclaration
-->ParsedInput.FindNearestPointToInsertOpenDeclaration
-
ParsedInput.getLongIdentAt
-->ParsedInput.GetLongIdentAt
-
ParsedInput.adjustInsertionPoint
-->ParsedInput.AdjustInsertionPoint
-
Symbol
-->FSharpSymbolPatterns
in FSharp.Compiler.Symbols and marked experimental -
Symbol.isAttribute
--> nowattrib.IsAttribute<'T>()
-
Symbol.getAbbreviatedType
--> nowsymbol.StripAbbreviations()
-
Symbol.hasAttribute
--> nowsymbol.HasAttribute<'T>()
-
Symbol.tryGetAttribute
--> nowsymbol.TryGetAttribute<'T>()
-
TraverseStep
-->SyntaxNode
in FSharp.Compiler.Syntax -
ToolTips now only return the structured (TaggedText) tooltips. You can iterate to get the text tooltips
Pos
-->Position
-
Everything moves to
FSharp.Compiler.Text
-
LayoutTag
-->TextTag
-
Layout
is now internal and replaced byTaggedText[]
-
LayoutOps
is now internal
-
Everything moves to namespace
FSharp.Compiler.Syntax
-
DebugPointAtBinding
is now RequireQualifiedAccess -
NoDebugPointAtStickyBinding
-->DebugPointAtBinding.NoneAtSticky
-
Clause
-->SynMatchClause
-
NormalBinding
->SynBindingKind.Normal
-
Binding
-->SynBinding
-
Field
-->SynField
-
UnionCase
-->SynUnionCase
-
UnionCaseFullType
-->SynUnionCaseKind.FullType
-
UnionCaseFields
-->SynUnionCaseKind.Fields
-
MemberKind
-->SynMemberKind
-
MemberFlags
-->SynMemberFlags
-
TyconUnspecified
-->SynTypeDefnKind.Unspecified
-
TyconClass
-->SynTypeDefnKind.Class
-
TyconInterface
-->SynTypeDefnKind.Interface
-
TyconStruct
-->SynTypeDefnKind.Struct
-
TyconHiddenRepr
-->SynTypeDefnKind.Opaque
-
TyconUnion
-->SynTypeDefnKind.Union
-
TyconDelegate
-->SynTypeDefnKind.Delegate
-
ComponentInfo
-->SynComponentInfo
-
TyconAugmentation
-->SynTypeDefnKind.Augmentation
-
TypeDefnSig
-->SynTypeDefnSig
-
HeadTypeStaticReq
-->TyparStaticReq.HeadType
-
NoStaticReq
-->TyparStaticReq.None
-
SynTypeConstraint
is now RequiresQualifiedAccess -
ValSpfn
-->SynValSpfn
-
TyparDecl
-->SynTyparDecl
-
Typar
-->SynTypar
-
SynSimplePatAlternativeIdInfo
is now RequiresQualifiedAccess -
InterfaceImpl
-->SynInterfaceImpl
-
SynBindingKind
is now RequiresQualifiedAccess -
DoBinding
-->SynBindingKind.Do
-
StandaloneExpression
-->SynBindingKind.StandaloneExpression
-
SynModuleOrNamespaceKind
is now RequiresQualifiedAccess -
IDefns
-->ParsedScriptInteraction.Definitions
-
IHash
-->ParsedScriptInteraction.HashDirective
LegacyReferenceResolver
now marked obsolete
This is a big update to FCS. There are significant trimmings and renamings of the API as a first step towards getting it under control with aims to eventually have a stable, sane public API surface area.
Renamings:
-type FSharp.Compiler.AbstractIL.Internal.Library.IFileSystem
+type FSharp.Compiler.SourceCodeServices.IFileSystem
-module FSharp.Compiler.AbstractIL.Internal.Library.Shim
+FSharp.Compiler.SourceCodeServices.FileSystemAutoOpens
-type FSharp.Compiler.AbstractIL.Layout
+type FSharp.Compiler.TextLayout.Layout
-type FSharp.Compiler.AbstractIL.Internal.TaggedText
+type FSharp.Compiler.TextLayout.TaggedText
-type FSharp.Compiler.Layout.layout
+type FSharp.Compiler.TextLayout.layout
-type FSharp.Compiler.Layout.Layout
+FSharp.Compiler.TextLayout.Layout
-module FSharp.Compiler.Layout
+module FSharp.Compiler.TextLayout.LayoutRender
-module FSharp.Compiler.LayoutOps
+module FSharp.Compiler.TextLayout.Layout
-module FSharp.Compiler.Layout.TaggedText
+module FSharp.Compiler.TextLayout.TaggedText
-module FSharp.Compiler.Layout.TaggedTextOps
+FSharp.Compiler.TextLayout.TaggedText
-module FSharp.Compiler.Layout.TaggedTextOps.Literals
+FSharp.Compiler.TextLayout.TaggedText
-type FSharp.Compiler.Range.range
+FSharp.Compiler.Text.Range
-type FSharp.Compiler.Range.pos
+FSharp.Compiler.Text.Pos
-module FSharp.Compiler.Range.Range
+module FSharp.Compiler.Text.Pos
+module FSharp.Compiler.Text.Range
-module FSharp.Compiler.QuickParse
+module FSharp.Compiler.SourceCodeServices.QuickParse
-module FSharp.Compiler.PrettyNaming
+FSharp.Compiler.SourceCodeServices.PrettyNaming
-val FSharpKeywords.PrettyNaming.KeywordNames
+FSharp.Compiler.SourceCodeServices.FSharpKeywords.KeywordNames
-val FSharpKeywords.PrettyNaming.QuoteIdentifierIfNeeded
+FSharp.Compiler.SourceCodeServices.FSharpKeywords.QuoteIdentifierIfNeeded
-val FSharpKeywords.PrettyNaming.FormatAndOtherOverloadsString
+FSharp.Compiler.SourceCodeServices.FSharpKeywords.FormatAndOtherOverloadsString
Renamings in FSharp.Compiler.SourceCodeServices
:
-Lexer.*
+FSharp.Compiler.SourceCodeServices.*
-FSharpSyntaxToken*
+FSharpToken*
-FSharpErrorInfo
+FSharpDiagnostic
-FSharpErrorSeverity
+FSharpDiagnosticSeverity
-ExternalSymbol
+FSharpExternalSymbol
-UnresolvedSymbol
+FSharpUnresolvedSymbol
-CompletionKind
+FSharpCompletionKind
-module Keywords
+module FSharpKeywords
- Extension methods in
ServiceAssemblyContent.fsi
are now now intrinsic methods on the symbol types themselves. SemanticClassificationType
is now an enum instead of a discriminated union.GetBackgroundSemanticClassificationForFile
now returnsAsync<SemanticClassificationView option>
instead ofAsync<struct(range * SemanticClassificationType) []>
. TheSemanticClassificationView
provides a read-only view over the semantic classification contents via theForEach (FSharpSemanticClassificationItem -> unit) -> unit
function.
The following namespaces have been made internal
FSharp.Compiler.AbstractIL.*
, aside from a small hook for JetBrains RiderFSharp.Compiler.ErrorLogger.*
New functions in the SourceCodeServices
API:
FSharpDiagnostic.NewlineifyErrorString
FSharpDiagnostic.NormalizeErrorString
This release covers three important milestones: F# 5, Visual Studio 16.8, and .NET 5.
- Package references in scripts via
#r "nuget:..."
- String interpolation
- Support for
nameof
and thenameof
pattern by Microsoft and Loïc Denuzière open type
declarations- Applicative computation expressions via
let! ... and!
- Overloads for custom operations in computation expressions (in preview), by Ryan Riley and Diego Esmerio
- Interfaces can now be implemented at different generic instantiations
- Default interface member consumption
- Better interop with nullable value types
- Consistent behavior for empty/non-existent slices for lists, strings, arrays, 2D arrays, 3D arrays, and 4D arrays
- Support for fixed-index slices in 3D and 4D arrays
- Support for negative indexes (in preview)
- Reverted a change where the %A and %O and
ToString
/string
result of a union withRequireQualifiedAccess
gave the fully-qualified union case name in response to user feedback - Significantly improved XML documentation for all APIs
- Optimized reflection for F# types by kerams
- Improved batch compilation performance (up to 30% faster depending on the project type)
- Support for editing
#r "nuget:..."
scripts in Visual Studio - Various fixes for F# script editing performance, especially for scripts with significant dependencies getting loaded
- Support for compiling against .NET Core on Windows when no STAThread is availble
- Support for validating signatures against XML doc comments when compiling via
/warnon:3390
- Fixed a bug where FSharp.Core XML doc contents were not displayed in F# scripts in Visual Studio
- Support for strong name signing against F# projects when compiling using the .NET SDK
- Fixed a bug where manually referencing
Akkling.Cluster.Sharding.0.9.3
in FSI would not work - Bring back the custom colorization options that were missed in the 16.7 update
- Support coloring disposable values independently from disposable types
- Fix a bug where emitting an
inref<_>
could cause a value to no longer be consumable by C# - Support displaying
Some x
when debugging F# options in Visual Studio, by Friedrich von Never - Fix a bug where compiling large anonymous records could fail in release mode
- Support for considering struct tuples and struct anonymous records as subtypes of
System.ValueTuple
- Fix several internal errors in the compiler when compiling various niche scenarios
- Various performance enhancements when editing large files by Microsoft and Daniel Svensson
- Optimized output for the
string
function, by Abel Braaksma - Various fixes for some display regressions for Find all References in Visual Studio
- Fix duplicate symbol output when renaming constructs in a project with multiple TFMs
- Support for
Int64.MinValue
as anativeint
literal, by Abel Braaksma - Prevent assignment to
const
fields, by Chet Husk - Compiler message improvements (especially for overload resolution) by Gauthier Segay, Vladimir Shchur, and Microsoft
- Add FSharp.DependencyManager.Nuget as a project reference and ensure it is in the package, allowing other editors to consume
#r "nuget:..."
references at design-time #10784
- Add check for system assemblies completion #10575
- Fix net sdk references discovery #10569
- Fix FSC nuget package dependencies #10588
The most notable change for FSharp.Compiler.Service is that it is now built and deployed as a part of the dotnet/fsharp codebase. Builds are produced nightly, matching exactly the nightly builds of the F# compiler, FSharp.Core, and F# tools.
- Support for Witness information #9510 in
FSharpExpr
andFSharpMemberOrFunctionOrValue
- Support for Jupyter Notebooks and VSCode notebooks via
FSharp.Compiler.Private.Scripting
and .NET Interactive - Improvements to the F# syntax tree represtation by Eugene Auduchinok
- Support for
const
in keyword completion info by Alex Berezhnykh - Support for passing in a
PrimaryAssembly
for AST compilation routines by Eirik Tsarpalis - Support for
ToString
inFSharp.Compiler.SourceCodeServices.StringText
by Asti - Fix an issue with equality comparisons for
StringText
by Asti
Significant changes for consumers:
- Several APIs no longer require the Reactor thread
GetAllUsesOfAllSymbolsInFile
now returnsseq<FSharpSymbol>
instead ofFSharpSymbol[]
- All four
Get*UsesOfAllSymbolsIn*
APIs are no longer asynchronous StructuredDescriptionTextAsync
andDescriptionTextAsync
are now deprecated, please useStructuredDescriptionText
andDescriptionText
instead- The
hasTextChangedSinceLastTypecheck
optional argument has been removed (it has been unused in Visual Studio since VS 2017) - The
textSnapshotInfo
optional argument is removed as it only made sense in tandem withhasTextChangedSinceLastTypecheck
userOpName
is removed from all APIs that are no longer asynchronous
These release notes contain release notes for all F# product release delivered alongside Visual Studio since Visual Studio 2017 and up until Visual Studio 2019 update 16.7.
This release is focused on closing out F# 5 feature development and making Visual Studio tooling improvements.
The following features were added to F# 5 preview:
- String interpolation
- Complete
nameof
design implementation nameof
support for patternsopen type
declarations- Overloads of custom keywords in computation expressions
- Interfaces can be implemented at different generic instantiation
- Various bug fixes
- Updated semantic classification to better distinguish various F# constructs from one another
- Improvements to performance of various array-based operations in FSharp.Core by Abel Braaksma
- Various improvements to the F# compiler service by Eugene Auduchinok
- Improvements to SourceLink support by Chet Husk
- Support for
Map.change
by Fraser Waters
This release is focused on more F# 5 preview features and Visual Studio tooling improvements.
The following features were added to F# 5 preview:
- Support for interop with Default Interface Methods
- Improvements for
#r "nuget"
- allow packages with native dependencies - Improvements for
#r "nuget"
- allow packages like FParsec that require.dll
s to be referenced in a particular order - Improved interop with Nullable Value Types
- Various bug fixes
- Significant improvements to memory usage for symbol-based operations such as Find All References and Rename, especially for large codebases
- 15% or higher reduction in compile times (as measured by compiling
FSharpPlus.dll
) - Performance improvements for design-time builds by Saul Rennison
- Improved stack traces in F# async and other computations, thanks to Nino Floris
- All new F# project types now use the .NET SDK
- Descriptions in completion lists for tooltips
- Improved UI for completion for unimported types
- Bug fix for adding a needed
open
declaration when at the top of a file (such as a script) - Various improvements to error recovery and data shown in tooltips have been contributed by Eugene Auduchinok and Matt Constable.
- Various compiler performance improvements by Steffen Forkmann
- Improvements to F# CodeLenses by Victor Peter Rouven Muller
- Better emitted IL for
uint64
literals by Teo Tsirpanis
The primary focus of this release has been improving the performance and scalability of large F# codebases in Visual Studio. This work was influenced by working directly with customers who have very large codebases. The performance work is still ongoing, but if you have a medium-to-large sized codebase, you should see reduced memory usage.
Beyond performance enhancements, this release includes a variety of other fixes, many of which were contributed by our wonderful F# OSS community.
Several F# preview language features have been merged. You can try them out by setting your LangVersion
to preview
in your project file.
- F# RFC FS-1076 - From the end slicing and indexing for collections has been completed for F# preview
- F# RFC FS-1077 - Tolerant Slicing has been completed for F# preview
- F# RFC FS-1077 - Slicing for 3D/4D arrays with fixed index has been completed for F# preview
- F# RFC FS-1080 - Float32 without dot has been completed for F# preview, contributed by Grzegorz Dziadkiewicz
- Support for
--standalone
has been added for .NET Core - Various improvements to error recovery have been contributed by Eugene Auduchinok
- Support for generating an AssemblyInfo from a project file has been added
- Better error reporting for mismatched Anonymous Records was contributed by Isaac Abraham
- A bug where use of type abbreviations could bypass
byref
analysis in the compiler has been resolved - It is now possible to specify the
[<Literal>]
attribute in F# signature files - A bug where the
LangVersion
flag was culture-dependent has been resolved - A bug where large types and expressions defined in source would lead to a stack overflow has been resolved
- A bug where arbitrary, nonsense attributes could be defined on F# type extesions was resolved
- A bug where exhaustive matches on SByte and Byte literal values emitted a warning was resolved
- A bug where invalid type abbreviations with
byref
s andbyref
-like values could be defined was resolved - A bug where invalid binary and octal literals would be accepted by the compiler was resolved, contributed by Grzegorz Dziadkiewicz
- A bug where
P/Invoke to "kernel32.dll"
was getting called in a FreeBSD source build of .NET Core has been resolved by Adeel Mujahid - Various smaller performance improvements have been added by Eugene Auduchinok and Steffen Formann
- A bug where calling
string
or.ToString
onValueNone
would throw an exception has been resolved - A bug where calling
Async.Sleep
within a sequentially processed set of async expressions wouldn't process sequentially has been resolved, contributed by Fraser Waters - An issue in
Async.Choice
that could lead to memory leaks has been resolved, contributed by Fraser Waters
- A bug where the Product Version in the About Visual Studio window mistakenly displayed F# 4.6 has been resolved
- A bug where the
fsi
type in F# scripts was incorrectly treated as not defined has been resolved
- The FSharp.Compiler.Service build in the F# repository has been moved to use the .NET SDK, contributed by Chet Husk
This release includes support for F# 4.7, the newest version of the F# language!
Much of F# 4.7 was dedicated to underlying infrastructural changes that allow us to deliver preview of F# language functionality more effectively. That said, there are still some nice new features delivered as well.
We added support for F# 4.7, a minor language release that comes with compiler infrastructure to enable preview features so that we can get feedback on feature designs earlier in the development process.
The full F# 4.7 feature set is:
- Support for the
LangVersion
flag, which allows for configuring the F# language version used by the compiler to be F# 4.6 or higher - Support for implicit yields in array, list, and sequence expressions
- Indentation requirement relaxations for static members and constructors
- Relaxing the need for a double-underscore (
__
) in member declarations andfor
loops, contributed by Gustavo Leon - FSharp.Core now targets
netstandard2.0
instead ofnetstandard1.6
, following the deprecation of support for .NET Core 1.x - FSharp.Core on .NET Core now supports
FSharpFunc.FromConverter
,FSharpFunc.ToConverter
, andFuncConvert.ToFSharpFunc
- FSharp.Core now supports
Async.Sequential
and an optionalmaxDegreeOfParallelism
parameter forAsync.Parallel
, contributed by Fraser Waters
In addition to the F# 4.7 feature set, this release includes support for the following preview F# language features:
- Support for
nameof
expressions - Support for opening of static classes
You can enable this by seeting <LangVersion>preview</LangVersion>
in your project file.
This release also contains the following bug fixes and improvements to the F# compiler:
- A longstanding issue where the F# compiler could stack overflow with massive records, structs, or other types has been resolved (#7070)
- An issue where specifying invalid inline IL could crash Visual Studio has been resolved (#7164
- Resolution of an issue where copying of a struct would not occur if it was defined in C# and mutated in a member call (#7406)
- A crypto hash of the portable PDB content created by the compiler is not included in the PE debug directory, with a configurable hash set to SHA-256 by default (#4259, #1223)
- A bug where
LeafExpressionConverter
ignoredValueType
and assumedSystem.Tuple
has been fixed (#6515) by Kevin Malenfant - A bug where
List.transpose
discaded data instead of throwing an exception has been resolved (#6908) by Patrick McDonald - A bug where
List.map3
gave a misleading error when used on lists of different lengths has been resolved (#6897) by reacheight
This release also includes a few improvements to the F# tools for Visual Studio:
- Records are formatted more to look more like canonical declarations and values in tooltips and F# interactive (#7163)
- Properties in tooltips now specify whether or not that are
get
-only,set
-only, orget
andset
(#7007) - An issue where Go to Definition and other features could not always work across projects when files use forward slashes (#4446, #5521, #4016) has been fixed, with help from chadunit
- Issues with anonymous records and debugging have been resolved (#6728, #6512)
- A bug where empty hash directives in source could make source text coloring seem random has been resolved (#6400, #7000)
This is a relatively minor release for the F# language and tools, but it's not without some goodies! As with the VS 16.0 update, this release also focused on performance of editor tooling.
- Added
P/Invoke
support to F# interactive on .NET Core (#6544) - Added a compiler optimization for
Span<'T>
when used in afor
loop (#6195) - Added an optimization to avoid an extraneous
Some
allocations for F# options in various scenarios (#6532) - Changed the execution order of expressions used in the instantiation of Anonymous Records to be top-to-bottom, rather than alphabetical, to match the current experience with normal Records (#6487)
- A bug where very large literal expressions or very large struct declarations could cause the compiler to stack overflow on build has been resolved (#6258)
- A bug where breakpoints would no longer trigger when debugging a function with an Anonymous Records has been fixed (#6512)
- A bug where Anonymous Records passed to constructs expecting an
obj
parameter caused a compiler crash has been fixed (#6434) - A bug where
for var expr1 to expr2 do ...
loops could result in bizarrely valid (and discarded) syntax has been fixed (#6586) - A bug where Anonymous Records could not be used properly with events has been fixed (#6572)
- A longstanding bug where extremely large generated parsers in FsLexYacc (over 100 million lines) has been resolved (#5967
- A longstanding issue in the Type Provider plugin component of the compiler that could leave the door open for a memory leak caused by a type provider has been resolved (#6409)
- Support for
--pathmap
was added to the F# compiler by Saul Rennison, which resolves an issue where the resulting executable from a compilation would include absolute paths to source files in the embedded F# signature file resource (#5213) - An optimization to the F# AST that improves its consumption via other tools and enviroments (e.g., Fable) has been added by ncave (#6333)
- An optimization around traversing information when resolving members has been added by Steffen Forkmann (#4457)
- An improvement to error messages such that when a type implementation is missing necessary overrides a list of those missing overrides is reported has been added by Gauthier Segay (#4982)
- The Target Framework dropdown for F# projects in the .NET SDK will now include values for all available .NET Core, .NET Standard, and .NET Framework values to ease migrating to .NET Core from .NET Framework on the .NET SDK
- A bug where renaming generic type parameters produces double backtick-escaped names has been fixed (#5389)
- A longstanding problem where Type Providers were redundantly reinstantiated, causing massive allocations over time, has been resolved (#5929)
- A longstanding issue where reading IL needlessly allocated 20MB over a short period of time was been resolved (#6403)
- A bug where the method
GetToolTipText
in the F# compiler service could show the same XML signature for several member overloads has been resolved by Vasily Kirichenko (#6244)
Finally, we improved the contribution experience by doing the following:
- Completed our build from source process so that the F# compiler and core library can be built with the .NET Core source build repository
- Removed our dependency on
netstandard1.6
so that the entire codebase uniformly targetsnetstandard2.0
andnet472
- Added a
.vsconfig
file to the root of the repository so that contributors using Visual Studio don't have to know everything that needs installing up front - Rewrote our project's README to remove potentially confusing information, include a quickstart for getting started with contributing, and attempting to be more inclusive in our messaging about the kinds of changes we'd love to take
F# improvements in Visual Studio 2019 are in three major areas:
- F# 4.6
- Major performance improvements for medium and larger solutions
- Lots of open source work by our excellent open source community
This release contains the F# 4.6 language:
- Anonymous Record types have been added to the language, including full tooling support and the ability to emit them types into JavaScript objects via the Fable compiler.
- ValueOption type and ValueOption module function parity with Option type.
- tryExactlyOne function for arrays, lists, and sequences, contributed by Grzegorz Dziadkiewicz.
The F# and compiler and FSharp.Core have seen numerous improvements, especially from open source contributors:
- fsi.exe and fsc.exe now defaults to .NET Framework 4.7.2, allowing the loading of components targeting this framework or lower (#4946).
- We optimized methods on structs and struct records to perform as well as methods on classes and class-based records (#3057).
- We optimized the emitted IL for combined Boolean logic in F# code (#635).
- We've optimized the use of
+
with strings in F# to call the minimal amount ofString.Concat
calls as possible (#5560). - We fixed an issue in the FSharp.Core package where some extra directories with test assets were included. FSharp.Core 4.5.5 and 4.6.1 should have the fix (#5814).
- When a user-defined attribute does not inherit from the
Attribute
class, you will now receive a warning, by Vasily Kirichenko. - The
AssemblyInformationVersionAttribute
value in a project file now supports arbitrary values to support scenarios such as SourceLink (#4822). - A bug where illegal syntax with Active Patterns would cause an internal compiler error has been fixed by Steffen Forkmann (#5745).
- A bug where the
Module
suffix was erroneously added to a module in a recursive module to match a type where the only difference is a generic parameter was fixed by BooksBaum (#5794). - An improvement to the error message when type parameters are not adjacent to a type name has been improved by Alan Ball (#4183).
- The
uint16
literal suffix is listed correctly in the error messages for invalid numeric literals, by Teo Tsirpanis (#5712). - Error messages for computation expressions no longer state
async
in the message and instead refer to "computation expression(s)", by John Wostenberg (#5343). - An error message when incorrectly referencing
.dll
s in F# interactive was fixed by Bartoz Sypytkowski (#5416). - A bug where Statically Resolved Type Parameters couldn't handle calling a member that hides an inherited member was fixed by Victor Peter Rouven Müller (#5531).
- Various smaller performance improvements to the compiler have been added by Steffen Forkmann and Robert Jeppesen.
Another big focus area for F# in Visual Studio 2019 has been performance for medium and large solutions. We addressed some very long-standing issues, some of which dating back to the very first edition of F# tools for Visual Studio. We also got some help from the excellent F# open source community.
- We've revamped how the F# language service is initialized by Roslyn. Type colorization for larger solutions should generally appear sooner.
- We changed our representation of source text to avoid large allocations over time, especially with bigger files (#5935, #5936, #5937, #4881).
- We changed our build caches for small edits to files to use significantly less memory (#6028).
- We modified a compiler feature that suggests names when unrecognized tokens are typed to only compute these suggestions on-demand, resulting in significant CPU and memory reductions when typing slowly in larger solutions (#6044).
- We changed IntelliSense so that it will no longer show symbols from unopened namespaces by default. This notably improves performance for IntelliSense in projects with many references. This feature can be turned back on in the settings via Tools > Options > Text Editor > F# > IntelliSense.
- We improved memory usage when using Type Providers to generate very large amounts of provided types in a completion list (#5599).
- A reduction to CPU and memory usage to an internal string comparison algorithm for suggesting unrecognized names has been fixed by Avi Avni (#6050).
- A notable source of large string allocations, particularly for IDE tooling, was fixed by Avi Avni (#5922).
- A notable source of Large Object Heap allocations coming from computing IntelliSense has been fixed by Chet Husk (#6084)
In addition to performance improvements, various other improvements to F# tooling for Visual Studio 2019 have been made:
- The Add
open
statement code fix will now default to adding theopen
statement at the top of the file. - We fixed a bug where
match!
in user code invalidated structure guidelines and code outlining nodes for subsequent scopes (#5456). - The editor will now correctly color
byref
,outref
, andref
values as record fields with the mutable value colorization (#5579). - We fixed a bug where the rename refactoring did not recognize the
'
character in symbol names (#5604). - We've fixed a longstanding bug where renaming F# script files resulted in a loss of colorization data (#1944).
- We cleaned up IntelliSense so that it doesn't show unrelated items in the list when pressing backspace.
- With "Smart" indentation on, pasting F# code into the editor will now format it to match an appropriate scope based on the current cursor position, implemented by Saul Rennison (#4702).
- An issue where F# editor options weren't syncing has been fixed by Jakob Majocha (#5997, #5998).
- A bug where IntelliSense in a constructor within an
inherit
clause wouldn't show the primary constructor has been fixed by Eugene Auduchinok (#3699) - Various smaller improvements to the F# language service have been made by Eugene Auduchinok
We've fully migrated the F# and F# tools codebase to use the .NET SDK. This dramatically simplifies the contribution process for developers, especially if they are not using Windows. Additionally, Jakob Majocha has helped in cleaning up documents for new contributors in light of the changes to the codebase.
You can find all tracked VS 15.9 items in the 15.9 milestone.
- Fix (#4637) - Can't debug FCS when compiled with portable pdb debug symbols, by Jason Imison.
- Fix (#5355) - We fixed a bug where extension methods that take
byref
values could mutate an immutable value. - Fix (#5446) - We improved the compile error information for overloads on
byref
/inref
/outref
, rather than displaying the previously obscure error. - Fix (#5354) - Optional Type Extensions on
byref
s are now disallowed entirely. They could be declared previously, but were unusable, resulting in a confusing user experience. - Fix (#5294) - We fixed a bug where
CompareTo
on a struct tuple and causing a type equivalence with an aliased struct tuple would result in a runtime exception. - Fix (#5621) - We fixed a bug where use of
System.Void
in the context of authoring a Type Provider for .NET Standard could fail to find theSystem.Void
type at design-time. - Fix (#5468) - We fixed a bug where an internal error could occur when a partially applied Discriminated Union constructor is mismatched with an annotated or inferred type for the Discriminated Union.
- Fix (#5540) - We modified the compiler error message when attempting to take an address of an expression (such as accessing a property) to make it more clear that it violates scoping rules for
byref
types. - Fix (#5536) - We fixed a bug where your program could crash at runtime when partially applying a
byref
type to a method or function. An error message will now display. - Fix (#5459) - We fixed an issue where an invalid combination of a
byref
and a reference type (such asbyref<int> option
) would fail at runtime and not emit an error message. We now emit an error message.
- Fix (#5657) - We resolved an issue where metadata for F# assemblies built with the .NET Core SDK was not shown in file properties on Windows. You can now see this metadata by right-clicking an assembly on Windows and selecting Properties.
- Fix (#5615) - We fixed a bug where use of
module global
in F# source could cause Visual Studio to become unresponsive. - Fix (#5515) - We fixed a bug where extension methods using
inref<'T>
would not show in completion lists. - Fix (#5514) - We fixed a bug where the TargetFramework dropdown in Project Properties for .NET Framework F# projects was empty.
- Fix (#5507) - We fixed a bug where File | New Project on a .NET Framework 4.0 project would fail.
- Feature (#5027) - Set VisualFSharpFull as the default startup project, by Robert Jeppesen.
- Fix (#5504) - Internal MSBuild Error when building non-.NET SDK projects with MSBuild parallelism
- Fix (#5518) - Visual Studio-deployed components are not NGEN'd
- Fix (Devcom 322883) - FSharp.Core 4.5.0.0 binary is deployed to FSharp.Core 4.4.3.0 location
All other closed issues for the VS 15.8 release can be found here.
We introduced the F# language version 4.5 with this release. This also corresponds with the new 4.5.x family of FSharp.Core (the F# core library). You can read the specs for each of these changes in the F# RFC repository. There are also many improvements to F# tools for Visual Studio with this release.
- Visual Studio 2017 update 15.8
- .NET Core SDK version 2.1.400 or higher
- Support for
voidptr
NativePtr.ofVoidPtr
andNativePtr.toVoidPtr
support- New types:
inref<'T>
,outref<'T>
to represent read-only and write-onlybyref
s - Support for
IsByRefLike
structs - Support for
IsReadOnly
structs - Full support for production and consumption of
byref
returns - Support for extension methods for
byref
/inref
/outref
- Support for
match!
in computation expressions - Relaxed upcast requirements for
yield
in sequence, list, and array expressions - Relaxed indentation requirements for list and array expressions
- Enumeration cases emitted as public
- Various bug fixes with
byref
programming
- Version aligned to 4.5.x for the NuGet package and 4.5.0.0 for the binary
- Improved strack traces for
async { }
so that user code can now be seen - Support for
ValueOption<'T>
- Support for
TryGetValue
on Map
Improvements to the F# compiler in addition to the previously-mentioned language features are in F# 4.5. These include:
- Restored ability to inherit from
FSharpFunc
- Removed ~2.2% of all allocations in the F# compiler
- F# reference normalization support for user control of transitive assembly references written to an output file
- Respecting
WarningsNotAsErrors
- Error message improvement when branches of a pattern match do not return the same type
- Respecting
#nowarn "2003"
- Other smaller performance improvements and many bug fixes
Significant improvements in the F# tools, such as performance enhancements and some new editor features are included this release. As always, with a large number of contributions from the F# open source community. Here are the highlights:
- We improved IntelliSense performance for .NET SDK-style projects of all forms, including those that use multi-targeting.
- A community-driven effort to analyze and improve IntelliSense performance for very large files was contributed by Vasily Kirichenko, Steffen Forkmann, and Gauthier Segay. IntelliSense in very large files (10k+ lines of code) is roughly twice as fast now.
- The warning for an outdated FSharp.Core (despite the package being installed) is no longer present in .NET SDK-style projects.
- The description tooltip that displays XML documentation for a member after . in IntelliSense no longer times out after 10 seconds.
- A bug where you could not set breakpoints in object constructor arguments has been fixed.
- A bug where a renamed symbol would be duplicated when it is a generic parameter has been fixed.
- Templates for .NET Framework (classic F# templates) now consume FSharp.Core from a NuGet package, to align with .NET SDK F# templates.
- Automatic, transactional brace completion is now available for
()
,[]
,{}
,[||]
, and[<>]
brace pairs. We did this work in collaboration with Gibran Rosa. - You can now go to definition with Ctrl + Click on an F# symbol. The settings for this gesture are also respected in the Tools > Options window.
- The IntelliSense performance UI has been modified to allow configuration of stale typecheck information for various IDE features. Explanations for each option are now present in tooltips for the settings.
- Brace match highlighting now correctly highlights braces, completed in collaboration with Vasily Kirichenko.
- Go to definition now navigates correctly when a type is defined recursively, contributed by Vasily Kirichenko.
- A bug where an auto-imported namespace wasn't opened when the top of a file was empty has been fixed by Vasily Kirichenko.
- A bug where
printf
specifiers that contained dots were miscolored has been fixed by Vasily Kirichenko. - A bug where all opens were considered unused inside of a recursive module has been fixed by Vasily Kirichenko.
- Autocompletion for attributes now only suggests options that are actually attributes, contributed by Vasily Kirichenko.
- Signature Help tooltips are now generated for Type Provider static parameters at the constructor call site, contributed byVasily Kirichenko.
- A bug where value types used as units of measure were colored as reference types has been fixed by Vasily Kirichenko.
- A bug where semantic colorization could disappear for some files while scrolling has been fixed by Vasily Kirichenko. There is now an experimental CodeLens implementation, contributed by Victor Peter Rouven Müller. You can turn it on in Options > Text Editor > F# > Code Lens.
- A bug where the F# compiler service would incorrectly elide the module names in XML documentation has been fixed by Sebastian Urban.
- Code that uses
Dictionary
withContainsKey
and subsequentItem
calls has been changed to useTryGetValue
, by Eugene Auduchinok. - Jakob Majoka also contributed in the process of consuming a different API for FSharpToolTip.
We made the following enhancements to infrastructure, packaging, and our open source contribution experience:
- The F# compiler distributed with Visual Studio no longer installs as a singleton in the F# Compiler SDK location. It is now fully side-by-side with Visual Studio, meaning that side-by-side installations of Visual Studio wil finally have truly side-by-side F# tooling and language experiences.
- The FSharp.Core NuGet package is now signed.
- ETW logging has been added to the F# tools and compiler.
- The very large
control.fs
/control.fsi
files in FSharp.Core have been split intoasync.fs
/async.fsi
,event.fs
/event.fsi
,eventmodule.fs
/eventmodule.fsi
,mailbox.fs
/mailbox.fsi
, andobservable.fs
/observable.fsi
. - We added .NET SDK-style versions of our project performance stress test artifacts.
- We removed Newtonsoft.json from our codebase, and you now have one less package downloaded for OSS contributors.
- We now use the latest versions of System.Collections.Immutable and System.Reflection.Metadata.
- Visual Studio 2017 updates 15.0 to 15.8 (exclusive)
- .NET Core SDK versions 1.0 to 2.1.400 (exclusive)
- Struct tuples
- Initial support for consuming C#-style
ref
returns - Struct record support with the
[<Struct>]
attribute - Struct Discriminated Union support with the
[<Struct>]
attribute Result<'TSuccess, 'TFailure>
type, with supporting functions in FSharp.Core- Support for the
fixed
keyword to pin a pointer-tyle local to the stack - Underscores in numeric literals
- Caller Info Attribute Argument support
namespace rec
andmodule rec
to support mutually referential types and functions within the same file- Implicit "Module" suffix added to modules that share the same name as a type
- Tuple equality for F# tuples and
System.Tuple
- Support for generating Portable PDBs
- Significant improvements to error messages, particularly to aid with suggestions
- Performance improvements
- Interoperability improvements
- Support for geenerating F# AssymblyInfo from properties for .NET SDK projects
--debug:full
support for F# on .NET Core on WindowsMakeTuple
support for struct tuples- Warnings are forwarded when searching for method overloads
- Support for emitting an enum-specific warning when pattern matching over one
- Many smaller bug fixes
- Support for
NativePtr.ByRef
- Support for
Async.StartImmediateAsTask
- Support for
Seq.transpose
/Array.transpose
/List.transpose
IsSerializable
support forOption
andAsync<'T>
- Many smaller bug fixes
Most items here contributed by community members.
- Default installation of F# wherever .NET Core is installed
- Significant memory reductions in F# tooling
- IntelliSense Filters and Glyphs
- Support for Go to All
- Find all Reference support
- In-memory cross-project references support
- QuickInfo supports type colorization
- QuickInfo supports navigable links that will invoke Go to Definition
- Inline Rename support
- Go to Definition from F# to C# support
- Semantic document highlighting for selected symbols
- Support for Structured Guidelines and code outlining, which is toggleable
- Support for
EditorBrowsable(EditorBrowsableState.Never)
- Code fix for making Record and Discriminated Union case lables upper-case
- Code fix to make suggestions for an unkown identifier
- Code fix for prefixing or replacing an unused value with an underscore
- Code fix to add the
new
keyword to a disposable type - Code fix to add an
open
statement at the top for a symbol coming from an unopened namespace or module - Code fix to simplify a name by removing unnecessary namespace qualifiers
- Graying out unused values in the editor
- Colorized
fsi.exe
when ran as a standalone console application - Autocompletion support, including symbols from unopened namespaces
- Colorization for mutable values to distinguish them from immutable values
- Support for move up/down on solution folder nodes
- Support for Blue (High Contrast) theming
- Full support for .NET Core and .NET Standard projects, with the ability to create new ASP.NET Core projects in F#
- Full support for ASP.NET Web SDK tooling, such as Azure publish UI, for F# projects
- Property page auto-sizing support for different monitors
- Smart indentation support which auto-indents based on scope and auto-deindents for bracket-like characters
- XML documentation comment width scaling to prevent it running horizontally off the screen
- Multiple settings pages to modify tooling settings
- Support for Drag and Drop across folders
- Support for nightly builds of the tools
- Expanded debugger view for lists from 50 items to 5000 items
- Support for Optimization APIs in the compiler service
- Support for
IsNameGenerated
in the F# symbols API
This release bring a number of new changes, including a massive enhancement to SemanticClassification types thanks to @cartermp.
From dotnet/fsharp:333eb82c8..d9e070a9d:
- now allows for multiple implementations of generic interfaces (preview feature) (thanks @0x53A!)
- the default assembly set for script resolution now includes System.Numerics (thanks @KevinRansom)
- #r nuget package resolution is now committed eagerly, instead of delayed (thanks @KevinRansom)
- reduced allocations for some strings in the compiler (thanks @kerams)
- better printing for SRTP constraints (thanks @abelbraaksma/@realvictorprm)
- more expressive DUs for semantic classification (thanks @cartermp)
- remove legacymsbuildreferenceresolver (thanks @KevinRandom)
- supply witnesses for op_UnaryPlus (thanks @TIHan)
- clean up CE classifications (thanks @cartermp)
- Fixed tostring/equality for StringText (thanks @deviousasti)
- Fixed error text for FS0874
- Disallow assignment to C# Const/Readonly properties (thanks @baronfel)
- Allow Int64.MinValue as a valid nativeint literal (thanks @abelbraaksma)
- Enhancements to the nameof feature (preview feature)
- String interpolation (preview feature)
This is a small bugfix release that fixes a nuspec package dependency issue with Sourcelink
This is a small bugfix release that I'm making primarily to publish a version of FCS with sourcelink enabled, so that tooling users can make use of that information.
From dotnet/fsharp:079276b4b..37d0cccec:
- Fixes for
do!
handling in computation expressions (thanks @baronfel) - Add missing versions in FCS' Interactive header (thanks @nightroman)
- Support
Source
-translation inmatch!
expressions (thanks @baronfel) - Ensure stack traces from uncaught exceptions in CEs are maintained (thanks @NinoFloris)
- Better handling of
inline
in witness-passing codepaths (thanks @dsyme) - Enable publishing of FCS with sourcelink (thanks @baronfel)
- Extend
nameof
to support naming generic parameters (nameof<'t>
) and instance members (nameof(Unchecked.defaultof<C>.Property)
) (thanks @dsyme)
From dotnet/fsharp:522dd906c..16bca5aef:
- Fixes to attribute range parsing (thanks @auduchinok)
- Added nested exception details to Type Provider load errors (thanks @dsyme)
- Improved error messages around unknown identifiers in patterns (thanks @jbeeko)
- Better dependency probing behavior with Facade assemblies (thanks @KevinRansom)
- APIs for programmatically adding and retrieving bindings in an FSI session (thanks @TIHan)
- Optional parameter on
FSharpChecker.FindBackgroundReferencesInFile
API to allow for stale results (thanks @TIHan) - Better tooltips for function arguments (thanks @mcon)
- Many performance tweaks to various compiler function implementations (thanks @forki)
- Typo fixes in the AST (thanks @auduchinok)
- Better IL emitted for usages of static members as System.Action (thanks @MoFtZ)
- Allow for indexers to specify a type annotation (thanks @TIHan)
- Allow languages/scripts that have no notion of upper-case to use their characters for DU identifiers (thanks @KevinRansom)
- more optimized comparison/equality for DateTime (thanks @cartermp)
- add support for
char
for theGenericZero/GenericOne
mechanisms (thanks @Happypig375) - enhancements for the dependencymanager's resolution for native scripts (thanks @KevinRansom)
- more consistent support for type-directed nullable parameters (thanks @dsyme)
- fix FSI's ordering of out-of-order dlls in nuget packages (thanks @KevinRansom)
- New SyntaxTree.Paren syntax node (thanks @auduchinok)
- add SRTP witness solutions (via the new
CallWithWitnesses
pattern) (thanks @dsyme)
This version bumps the major due to API surface area changes in the AST and TAST. In addition, there's a new package for the built-in Nuget dependency manager for FSI: FSharp.DependencyManager.Nuget
Members are now in SyntaxTree/SyntaxTreeOps and TypedTree/TypedTreeBasics/TypedTreeOps/TypedTreePickle.
From dotnet/fsharp:d1a3d0705..522dd906c:
- Improved error recovery from patterns (thanks @auduchinok)
- Smaller IL Emit for unsigned 64-bit constants (thanks @teo-tsirpanis)
- Improved ProvidedTypes Type generation (thanks @DedSec256)
- Improved CodeLenses provided (thanks @realvictorprm)
- Optimize internal member calculations in PrettyNaming and items lookup (thanks @auduchinok)
- More fixes to compiler internals, ranges, etc (thanks @auduchinok)
- Support for consumption of C# Default Interfaces
- Better encapsulation of ProvidedExpr members (thanks @DedSec256)
From dotnet/fsharp:3777cd4d8..836da28c0:
- Slight tweaks to error messages around numeric literals (Thanks @Happypig375)
- Deny taking native address of an immutable local value (Thanks @TIHan)
- Fixes to reported ranges for wildcard self-identifiers, module abbreviations, nested modules, attributes, nested types, and fields (Thanks @auduchinok)
- Better compiler error recovery for errors in constructor expressions (Thanks @auduchinok)
- Fix handling of F# Options in C# members with regards to nullable type interop (Thanks @TIHan)
- Move dependency handling of native dlls to the DependencyManager (Thanks @KevinRansom)
From dotnet/fsharp:3af8959b6..9d69b49b7:
- set default script TFM to netcoreapp3.1 if none found
- improve C#-nullable and optional interop (RFC FS-1075)
- Add type name to
undefined name error
if known - improve printing via %A/fsi
- misc. improvements to DependencyManager
- improve type provider support for .netcoreapp3.1 target frameworks.
- New, optimized find-all-references API with reduced memory usage.
- better error messages for failed overload resolution
Contains commits from 32b124966 to d7018737c from dotnet/fsharp. Notable changes include:
- lowered allocations for large strings and char arrays (notably source file texts)
- improved support for byref-like rules with regards to type abbreviations
- better support for scopes in recursive modules
- better location of .net core reference assemblies
- lowered allocations for several internal compiler structures
- better error messages for anonymous record mismatches
- FSharpChecker learned how to keep background symbol uses
- Project cracker/project cracker tool were removed
- Better support for consuming C# in-ref parameters
- new services around simplifying names and finding unused declarations
- package management in scripts (in preview)
- and-bang syntax support (in preview)
Integrate dotnet/fsharp from 4f5f08320 to 7b25d7f82. Notable changes include:
- Addition of the FsharpUnionCase.HasFields property
- FCS builds entirely on .Net Core now
- Better debug information for ranges
- Support for Literal values in signature files
- Using memory-mapped files cross-platform to read IL.
Integrate dotnet/fsharp from 48f932cf8 to 085985140. Notable changes include:
allowing '_' as a self-identifier
events for FSI evaluation lifecycle events
enhancements to FSI return-values
fixed parsing for langversion CLI arguments
allow cancellation of FSI interactions
ToString fixes for value options
Fixes for code generation in autogenerated members for very large records
make ranges of member declarations capture the entire member
improve error recovery in the parser
improve logic for auto-detecting framework assemblies for FSI
- integrate dotnet/fsharp from e1b8537ee to 48f932cf8
- notable changes include:
- (preview) nameof
- (preview) open static classes
- Fixed 64-bit integer literal parsing
- Better exhaustiveness checking for byte and sbyte pattern matches
- Better native resource handling
- Script-host assembly load events
- Integrate dotnet/fsharp from 5a8f454a1 to 05c558a61
- Notable changes include:
- Removal of the
Microsoft.FSharp.Compiler.SourceCodeServices
namespace - A new API for determining if an identifier needs to be quoted is available:
FSharp.Compiler.LexHelp.FSharpKeywords.DoesIdentifierNeedQuotation
- Enhancements to the correctness of PDBs
- Better string formatting of records and values
- More stack overflow fixes in the compiler
- Inline IL parsing error handling
LeafExpressionConverter
handles struct tuplesFSharpChecker
now can parse a file without caching:ParseFileNoCache
- Removal of the
- Integrate dotnet/fsharp from 25560f477 to 5a8f454a1
- Notable improvements include:
- performance improvements
- FCS APIs for FSComp and Implement Interface
- line directive handling
- improved performance when computing quick fix suggestions
- Fix versioning of the assembly
- Integrate visualfsharp master from 165b736b9 (2019-03-29) to 25560f477 (2019-05-24)
- Notable improvements include:
- Improved Portable PDB debugging
- Misc IL generation fixes
- Representing inlined mutable variables in the AST
- Moving on from net46 targeting
- Fixes for anonymous record generation
- Dependency updates
- Checking for constructors in FSharpMemberOrFunctionOrValue
- Fix unused opens false positive for record fields
- Integrate visualfsharp master from efb57cf56 to 8dfc02feb
- Notable improvements include:
- XmlDoc fixes for overloads
- Fixes for deterministic compilation
- Improved tail-recursion when processing large expressions
- Better tooltip detection for operators with constraints
- FSharp.Compiler.Service nuget now uses net461, netstandard2.0 and FSharp.Core 4.6.2
- updated lexer and parser implementations to reduce stackoverflow likelihood on .net core
- Integrate visualfsharp master from 5a5ca976ec296d02551e79c3eb8e8db809e4304d to 2c8497bb097d5c5d3ef12f355594873838a48494
- Notable improvements include:
- Anonymous Record support for expressions
- Union Case Naming fixes
- Trimming of the nuget package dependencies from 26.0.1
- Integrate visualfsharp master to 99e307f3a3ef2109ba6542ffc58affe76fc0e2a0
- Integrate visualfsharp master to 15d9391e78c554f91824d2be2e69938cd811df68
- Integrate visualfsharp master to 59156db2d0a744233d1baffee7088ca2d9f959c7
- Clarify package authors
- Integrate visualfsharp master to ee938a7a5cfdf4849b091087efbf64605110541f
- Use correct version number in DLLs (needed until dotnet#3113 is fixed)
- Integrate visualfsharp master
- Includes recent memory usage reduction work for ByteFile and ILAttributes
- Use new .NET SDK project files
- FSharp.Compiler.Service nuget now uses net461 and netstandard2.0
- FSharp.Compiler.Service netstandard2.0 now supports type providers
- Integrate visualfsharp master
- Rename
LogicalEnclosingEntity
toApparentEnclosingEntity
for consistency int he F# codebase terminology. - Rename
EnclosingEntity
toDeclaringEntity
. In the case of extension properties,EnclosingEntity
was incorrectly returning the logical enclosing entity (i.e. the type the property appears to extend), and in this caseApparentEnclosingEntity
should be used instead.
- Integrate visualfsharp master
- Integrate visualfsharp master
- ProjectCracker returns *.fsi files in FSharpProjectOptions.SourceFiles array
- Fix line endings in the Nuget packages descriptions
- FSharpChecker provides non-reactor ParseFile instead of ParseFileInProject
- Add FSharpParsingOptions, GetParsingOptionsFromProjectOptions, GetParsingOptionsFromCommandLine
- Integrate latest changes from visualfsharp
- Add implementation file contents to CheckFileResults
- Fix non-public API in .NET Standard 1.6 version
- Integrate latest changes from visualfsharp
- Trial release for new build in fcs...
- Move docs --> docssrc
- Move FSharp.Compiler.Service.MSBuild.v12.dll to a separate nuget package
- Set bit on output executables correctly
- Integrate visualfsharp master
- Remove dependency on System.ValueTuple
- De-duplicate module names
- Make incremental builder counter atomic
- Add IsValCompiledAsMethod to FSharpMemberOrFunctionOrValue
- Check before ILTypeInfo.FromType
- Transition over to dotnet cli Fsproj
- Depend on FSharp.Core package
- Integrate fsharp\fsharp and Microsoft\visualfsharp to 262deb017cfcd0f0d4138779ff42ede7dbf44c46
- Integrate fsharp\fsharp and Microsoft\visualfsharp to d0cc249b951374257d5a806939e42714d8a2f4c6
- Expose assumeDotNetFramework in FSharpChecker.GetProjectOptionsFromScript
- SemanticClassificationType should not be internal
- Integrate fsharp\fsharp and Microsoft\visualfsharp to c3e55bf0b10bf08790235dc585b8cdc75f71618e
- Integrate fsharp\fsharp and Microsoft\visualfsharp to 11c0a085c96a91102cc881145ce281271ac159fe
- Some API changes for structured text provision for tagged structured text
- Update names of union fields in AST API
- Fix load closure for ParseAndCheckInteraction
- Fix #631 compiler dependency on MSBuild
- Fixed netcore codegen on Linux
- Explicit error when cracker exe is missing
- Integrate fsharp\fsharp and Microsoft\visualfsharp to c494a9cab525dbd89585f7b733ea5310471a8001
- Then integrate to 2002675f8aba5b3576a924a2e1e47b18e4e9a83d
- Add module values to navigable items
- Optionally remove dependency on MSBuild reference resolution fsharp/fsharp-compiler-docs#649
- Compiler api harmonise
- Various bits of work on .NET Core version (buildable from source but not in nuget package)
- Integrate fsharp\fsharp and Microsoft\visualfsharp to 835b79c041f9032fceeceb39f680e0662cba92ec
- Switch to new major version on assumption integrated F# compiler changes induce API change
- Integrate Microsoft\visualfsharp to 688c26bdbbfc766326fc45e4d918f87fcba1e7ba. F# 4.1 work
- Fixed empty symbol declared pdb #564 from kekyo/fix-empty-pdb
- .NET Core ProjectCracker - updated version and dependencies
- Properly embed 'FSIstrings' resource, fixes #591
- make build.sh work on windows (git bash).
- Added default script references for .NET Core
- Store useMonoResolution flag
- Updated MSBuild version
- Assume FSharp.Core 4.4.0.0
- Integrate Microsoft\visualfsharp and fsharp\fsharp to master (including portable PDB)
- Remove .NET Framework 4.0 support (now needs .NET Framework 4.5)
- Integrate Microsoft\visualfsharp and fsharp\fsharp to master
- #538 - BackgroundCompiler takes a very long time on a big solution with a very connected project dependency graph
- #544 - Losing operator call when one of operands is application of a partially applied function
- #534 - Function valued property erasing calls
- #495 - Detupling missing when calling a module function value
- #543 - Tuple not being destructured in AST
- #541 - Results of multiple calls to active pattern are always bound to variable with same name
- #539 - BasicPatterns.NewDelegate shows same value for different arguments
- #530 - Adjust ProjectCracker NuGet for VS/NuGet
- #527 - Provide API that includes printf specifier arities along with ranges
- #519 - Change nuget layout for ProjectCracker package
- #523 - Project cracking: spaces in file paths
- #508 - Integrate visualfsharp/master removal of Silverlight #if
- #513 - Make CrackerTool
internal
to prevent accidental usage - #515 - Add simple Visual Studio version detection for project cracker
- Integrate visualfsharp/master and fsharp/master --> master
- Expose QualifiedName and FileName of FSharpImplementationFileContents
- Add FSharpDiagnostic.ErrorNumber
- Fix 452 - FSharpField.IsMutable = true for BCL enum cases
- Fix 414 - Add IsInstanceMemberInCompiledCode
- Feature #470, #478, #479 - Move ProjectCracker to separate nuget package and DLL, used ProjectCrackerTool.exe to run
- Feature #463 - Expose slot signatures of members in object expressions
- Feature #469, #475 - Add EvalExpressionNonThrowing, EvalInteractionNonThrowing, EvalScriptNonThrowing
- Fix #456 - FCS makes calls to kernel32.dll when running on OSX
- Fix #473 - stack overflow in resolution logic
- Fix #460 - Failure getting expression for a provided method call
- Fix bug in loop optimization, apply dotnet#756
- #488 - Performance problems with project references
- #450 - Correct generation of ReferencedProjects
- Fix bug in double lookup of cache, see fsharp/fsharp-compiler-docs#447
- Add pause before backgrounnd work starts. The FCS request queue must be empty for 1 second before work will start
- Write trace information about the reactor queue to the event log
- Rewrite reactor to consistently prioritize queued work
- Implement cancellation for queued work if it is cancelled prior to being executed
- Adjust caching to check cache correctly if there is a gap before the request is executed
- FSharpType.Format fix
- Disable maximum-memory trigger by default until use case ironed out
- FSharpType.Format now prettifies type variables. If necessary, FSharpType.Prettify can also be called
- Add maximum-memory trigger to downsize FCS caches. Defaults to 1.7GB of allocaed memory in the system process for a 32-bit process, and 2x this for a 64-bit process
- fix 427 - Make event information available for properties which represent first-class uses of F#-declared events
- fix 410 - Symbols for C# fields (and especially enum fields)
- Expose implemented abstract slots
- Fix problem with obscure filenames caught by Microsoft\visualfsharp tests
- Integrate with visualfsharp master
- fix 423 - Symbols for non-standard C# events
- fix 235 - XmlDocSigs for references assemblies
- fix 177 - GetAllUsesOfAllSymbolsInFile returns nothing for C# nested enum
- make Internal.Utilities.Text.Lexing.Position a struct
- Exposing assembly attributes on FSharpAssemblySignature
- clean up IncrementalFSharpBuild.frameworkTcImportsCache
- add more entries to FSharpTokenTag
- add more entries to FSharpTokenTag
- add PrettyNaming.QuoteIdentifierIfNeeded and PrettyNaming.KeywordNames
- integrate Microsoft/visualfsharp OOB cleanup via fsharp/fsharp
- Make Parser and Lexer private
- #387 - types and arrays in F# attribute contructor arguments
- Use FSharp.Core 4.4.0.0 by default for scripting scenarios if not FSharp.Core referenced by host process
- Integrate F# 4.0 support into FSharp.Compiler.Service
- simplified source indexing with new SourceLink
- Add noframework option in AST compiler methods
- Add fix for #343 Use ResolveReferences task
- Expose BinFolderOfDefaultFSharpCompiler to editors
- Fix the registry checking on mono to avoid unnecessary exceptions being thrown
- Fix output location of referenced projects
- Added Fix to al
- low implicit PCL references to be retrieved
- Don't report fake symbols in indexing #325
- Add EnclosingEntity for an active pattern group #327
- Add ImmediateSubExpressions #284
- integrate fsharp/fsharp master into master
- Fix for FSharpSymbolUse for single case union type #301
- Added supprt for ReturnParameter in nested functions
- Added curried parameter groups for nested functions
- Add Overloads to the symbols signature so it is publicly visible
- Update OnEvaluation event to have FSharpSymbolUse information available
- Better support for Metadata of C# (and other) Assemblies.
- Expose the DefaultFileSystem as a type instead of anonymous
- Update GetDeclarationListSymbols to expose FSharpSymbolUse
- Improve reporting of format specifiers
- Update to latest F# 3.1.3 (inclunding updated FsLex/FsYacc used in build of FCS)
- Report printf specifiers from Service API
- Improve Accessibility of non-F# symbols
- Do not use memory mapped files when cracking a DLL to get an assembly reference
- Fix for multilanguage projects in project cracker
- Reduce background checker memory usage
- add docs on FSharp.Core
- docs on caches and queues
- Update to github.com/fsharp/fsharp 05f426cee85609f2fe51b71473b07d7928bb01c8
- Fix #249 - Fix TryFullName when used on namespaces of provided erased type definitions
- Add OnEvaluation event to FCS to allow detailed information to be exposed
- Do not use shared cursor for IL binaries (fsprojects-archive/zzarchive-VisualFSharpPowerTools#822)
- Extension members are returned as members of current modules
- Fix exceptions while cross-reference a type provider project
- Add AssemblyContents and FSharpExpr to allow access to resolved, checked expression trees
- Populate ReferencedProjects using ProjectFileInfo
- Fix finding symbols declared in signature files
- Add logging to project cracking facility
- Allow project parser to be used on project file with relative paths
- Expose attributes for non-F# symbols
- More renamings in SourceCodeServices API for more consistent use of 'FSharp' prefix
- Make FSharpProjectFileParser public
- Fixes to project parser for Mono (.NET 4.0 component)
- Renamings in SourceCodeServices API for more consistent use of 'FSharp' prefix
- Fixes to project parser for Mono
- Fixes to project parser for Mono
- Use MSBuild v12.0 for reference resolution on .NET 4.5+
- Fixes to project parser
- Add project parser, particularly GetProjectOptionsFromProjectFile
- #221 - Normalize return types of .NET events
- Integrate to latest https://github.com/fsharp/fsharp (#80f9221f811217bd890b3a670d717ebc510aeeaf)
- #216 - Return associated getters/setters from F# properties
- #214 - Added missing XmlDocSig for FSharpMemberOrFunctionOrValue's Events, Methods and Properties
- #213 - Retrieve information for all active pattern cases
- #188 - Fix leak in file handles when using multiple instances of FsiEvaluationSession, and add optionally collectible assemblies
- #207 - Add IsLiteral/LiteralValue to FSharpField
- #205 - Add IsOptionalArg and related properties to FSharpParameter
- #210 - Check default/override members via 'IsOverrideOrExplicitMember'
- #209 - Add TryFullName to FSharpEntity
- Fix for #184 - Fix EvalScript by using verbatim string for #Load
- Fix for #183 - The line no. reporting is still using 0-based indexes in errors. This is confusing.
- Fix for #156 - The FSharp.Core should be retrieved from the hosting environment
- Second fix for #160 - Nuget package now contains .NET 4.0 and 4.5
- Fix for #160 - Nuget package contains .NET 4.0 and 4.5
- Integrate changes for F# 3.1.x, Fix #166
- Fix for #159 - Unsubscribe from TP Invalidate events when disposing builders
- Add queue length to InteractiveChecker
- Fix caches keeping hold of stale entries
- Add IsAccessible to FSharpSymbol, and ProjectContext.AccessibilityRights to give the context of an access
- Fix #79 - FindUsesOfSymbol returns None at definition of properties with explicit getters and setters
- Fix #138 - Fix symbol equality for provided type members
- Fix #150 - Return IsGetterMethod = true for declarations of F# properties (no separate 'property' symbol is yet returned, see #79)
- Fix #132 - Add IsStaticInstantiation on FSharpEntity to allow clients to detect fake symbols arising from application of static parameters
- Fix #154 - Add IsArrayType on FSharpEntity to allow clients to detect the symbols for array types
- Fix #96 - Return resolutions of 'Module' and 'Type' in "Module.field" and "Type.field"
- Allow own fsi object without referencing FSharp.Compiler.Interactive.Settings.dll (#127)
- Adjust fix for #143 for F# types with abstract+default events
- Fix multi-project analysis when referenced projects have changed (#141)
- Fix process exit on bad arguments to FsiEvaluationSession (#126)
- Deprecate FsiEvaluationSession constructor and add FsiEvaluationSession.Create static method to allow for future API that can return errors
- Return additional 'property' and 'event' methods for F#-defined types to regularize symbols (#108, #143)
- Add IsPropertySetterMethod and IsPropertyGetterMethod which only return true for getter/setter methods, not properties. Deprecate IsSetterMethod and IsGetterMethod in favour of these.
- Add IsEventAddMethod and IsEventRemoveMethod which return true for add/remove methods with an associated event
- Change IsProperty and IsEvent to only return true for the symbols for properties and events, rather than the methods associated with these
- Fix value of Assembly for some symbols (e.g. property symbols)
- Add optional project cache size parameter to InteractiveChecker
- Switch to openBinariesInMemory for SimpleSourceCodeServices
- Cleanup SimpleSourceCodeServices to avoid code duplication
- Integrate latest changes from visualfsharp.codeplex.com via github.com/fsharp/fsharp
- Fix problem with task that generates description text of declaration
- Add AllInterfaceTypes to FSharpEntity and FSharpType
- Add BaseType to FSharpType to propagate instantiation
- Add Instantiate to FSharpType
- Fix #109 - Duplicates in GetUsesOfSymbolInFile
- Fix #105 - Register enum symbols in patterns
- Fix #107 - Return correct results for inheritance chain of .NET types
- Fix #101 - Add DeclaringEntity property
- Fixed #104 - Make all operations that may utilize the FCS reactor async
- Add FSharpDisplayContext and FSharpType.Format
- Replace GetSymbolAtLocationAlternate by GetSymbolUseAtLocation
- Fixed #86 - Expose Microsoft.FSharp.Compiler.Interactive.Shell.Settings.fsi
- Fixed #99 - Add IsNamespace property to FSharpEntity
- Fixed #79 - Usage points for symbols in union patterns
- Fixed #94 and #89 by addition of new properties to the FSharpSymbolUse type
- Fixed #93 by addition of IsOpaque to FSharpEntity type
- Fixed #92 - Issue with nested classes
- Fixed #87 - Allow analysis of members from external assemblies
- Obsolete HasDefaultValue - see fsharp/fsharp-compiler-docs#77
- Fix #71 - Expose static parameters and xml docs of type providers
- Fix #63 - SourceCodeServices: #r ignores include paths passed as command-line flags
- Fix #38 - FSharp.Compiler.Services should tolerate an FSharp.Core without siginfo/optdata in the search path
- Add StaticParameters property to entities, plus FSharpStaticParameter symbol
- Fix #65
- Add FullName and Assembly properties for symbols
- Fix #76
- Add Japanese documentation
- Make ParseFileInProject asynchronous
- Add ParseAndCheckFileInProject
- Use cached results in ParseAndCheckFileInProject if available
- Fix performance problem with CheckFileInProject
- Add initial prototype version of multi-project support, through optional ProjectReferences in ProjectOptions. Leave this empty to use DLL/file-based references to results from other projects.
- Fix symbols for named union fields in patterns
- Fix symbols for named union fields
- Add FSharpActivePatternCase to refine FSharpSymbol
- Fix exception tag symbol reporting
- Fix off-by-one in reporting of range for active pattern name
- Add optional source argument to TryGetRecentTypeCheckResultsForFile to specify that source must match exactly
- Update version number as nuget package may not have published properly
- Move to one-based line numbering everywhere
- Provide better symbol information for active patterns
- Provide symbol location for type parameters
- Add GetUsesOfSymbolInFile
- Better symbol resolution results for type parameter symbols
- Update version number as nuget package may not have published properly
- Change return type of GetAllUsesOfSymbol, GetAllUsesOfAllSymbols and GetAllUsesOfAllSymbolsInFile to FSharpSymbolUse
- Add symbol uses when an abstract member is implemented.
- Add GetAllUsesOfAllSymbols and GetAllUsesOfAllSymbolsInFile
- Improvements to symbol accuracy w.r.t. type abbreviations
- Make FSharpEntity.BaseType return an option
- FsiSesion got a new "EvalScript" method which allows to evaluate .fsx files
- Update version number as nuget package may not have published properly
- Update version number as nuget package may not have published properly
- Fix #39 - Constructor parameters are mistaken for record fields in classes
- Make the parts of the lexer/parser used by 'XmlDoc' tools in F# VS Power tools public
- Add 'IsUnresolved'
- Fix bug where 'multiple references to FSharp.Core' was given as error for scripts
- Fix fsc corrupting assemblies when generating pdb files (really)
- Give better error messages for missing assemblies
- Report more information about symbols returned by GetSymbolAtLocation (through subtypes)
- Fix typos in docs
- Return full project results from ParseAndCheckInteraction
- Be more robust to missing assembly references by default.
- Fix fsc corrupting assemblies when generating pdb files
- Fix docs
- Make symbols more robust to missing assemblies
- Be robust to failures on IncrementalBuilder creation
- Allow use of MSBuild resolution by IncrementalBuilder
- Fix version number
- Added GetUsesOfSymbol(), FSharpSymbol type, GetSymbolAtLocation(...)
- Added documentation of file system API
- Reporte errors correctly from ParseAndCheckProject
- Integrate FSharp.PowerPack.Metadata as the FSharp* symbol API
- Renamed Param --> MethodGroupItemParameter and hid record from view, made into an object
- Renamed Method --> MethodGroupItem and hid record from view, made into an object
- Renamed Methods --> MethodGroup and hid record from view, made into an object
- Renamed MethodGroup.Name --> MethodGroup.MethodName
- Renamed DataTip --> ToolTip consistently across all text
- Renamed CheckOptions --> ProjectOptions
- Renamed TypeCheckAnswer --> CheckFileAnswer
- Renamed UntypedParseInfo --> ParseFileResults
- Removed GetCheckOptionsFromScriptRoot member overload in favour of optional argument
- Renamed GetCheckOptionsFromScriptRoot --> GetProjectOptionsFromScript
- Renamed UntypedParse --> ParseFileInProject
- Renamed TypeCheckSource --> CheckFileInProjectIfReady
- Added numerous methods to API including CheckFileInProject
- Added experimental GetBackgroundCheckResultsForFileInProject, GetBackgroundParseResultsForFileInProject
- Added PartialAssemblySignature to TypeCheckResults/CheckFileResults
- Added CurrentPartialAssemblySignature to FsiEvaluationSession
- Added ParseAndCheckInteraction to FsiEvaluationSession to support intellisense implementation against a script fragment
- Added initial testing in tests/service
- Added ParseAndCheckProject to SourceCodeServices API. This will eventually return "whole project" information such as symbol tables.
- Added GetDefaultConfiguration to simplify process of configuring FsiEvaluationSession
- Added PartialAssemblySignatureUpdated event to FsiEvaluationSession
- Added travis build
- Integrate hosted FSI configuration, SimpleSourceCodeServices, cleanup to SourceCodeServices API
4.0.0 - Visual Studio 2015 Update 1 - 30 November 2015
- Perf:
for i in expr do body
optimization #219 - Remove type provider security dialog and use custom icon for type provider assembly reference #448
- Perf: Enable parallel build inside Visual Studio #487
- Perf: Remove StructBox for Value Types #549
- Add compiler warnings for redundant arguments in raise/failwith/failwithf/nullArg/invalidOp/invalidArg #630
- Add a compiler warning for lower case literals in patterns #666
- Fix scope of types for named values in attributes improperly set #437
- Add general check for escaping typars to check phase #442
- Fix AccessViolationException on obfuscated assemblies #519
- Fix memory leaks while reloading solutions in Visual Studio #591
- Enable breakpoints in
with
augmentations for class types #608 - Fix false escaping type parameter check error #613
- Fix quotation of readonly fields #622
- Keep the reference icons when opening references #623
- Don't suppress missing FSI transitive references #626
- Make Seq.cast's non-generic and generic IEnumerable implementations equivalent #651
4.0.0 - 20 July 2015
Includes commits up to dd8252eb8d20aaedf7b1c7576cd2a8a82d24f587
- Normalization and expansion of
Array
,List
, andSeq
modules - New APIs for 4.0:
chunkBySize
,contains
,except
,findBack
,findInstanceBack
,indexed
,item
,mapFold
,mapFoldBack
,sortByDescending
,sortDescending
,splitInto
,tryFindBack
,tryFindIndexBack
,tryHead
,tryItem
,tryLast
- Other new APIs
Option.filter
,Option.toObj
,Option.ofObj
,Option.toNullable
,Option.ofNullable
String.filter
Checked.int8
,Checked.uint8
Async.AwaitTask
(non-generic)WebClient.AsyncDownloadFile
,WebClient.AsyncDownloadData
tryUnbox
,isNull
- New active pattern to match constant
Decimal
in quotations - Slicing support for lists
- Support for consuming high-rank (> 4) arrays
- Support for units of measure in
printf
-family functions - Support for constructors/class names as first-class functions
- Improved exception stack traces in async code
- Automatic
mutable
/ref
conversion - Support for static arguments to provided methods
- Support for non-nullable provided types
- Added
NonStructuralComparison
module containing non-structural comparison operators - Support for rational exponents in units of measure
- Give fsi.exe, fsiAnyCpi.exe nice icons
Microsoft.
optional in namepsace paths from FSharp.Core- Support for extension properties in object initializers
- Pre-support (not yet used) for additional nativeptr intrinsics
- Simplified, more robust resolution of type references in quotations
- Support for inheritance of types that have multiple interface instantiations
- Extended preprocessor grammar
- Support for implicit quotation of expressions used as method arguments
- Support for multiple properties in
[<StructuredFormatDisplay>]
- Eliminate tuple allocation for implicitly returned formal arguments
- Perf: fsc.exe now uses
GCLatencyMode.Batch
- Perf: Improved
hash
/compare
/distinctBy
/groupBy
performance - Perf:
Seq.toArray
perf improvement - Perf: Use
OptimizedClosures.FSharpFunc
in seq.fs where applicable - Perf: Use literals and mutable variables instead of ref cells for better performance in SHA1 calc
- Perf: Use smart blend of
System.Array.Copy
and iterative copy for array copies - Perf: Change
Seq.toList
to mutation-based to remove reliance onList.rev
- Perf: Change
pdbClose
to test if files are locked before inducing GCs - Perf: Use server GC mode for compiler
- Bugfix: Changed an error message within the Set module to use the correct module name.
- Bugfix: Fix assembly name of warning FS2003
- Bugfix #132: FSI Shadowcopy causes a significant degrade in the fsi first execute time
- Bugfix #131: Fix getentryassembly return value when shadowcopy is enabled in FSI
- Bugfix #61 Nonverifiable code generated with units of measure conversion
- Bugfix #68 BadImageFormatException with Units of Measure
- Bugfix #146 BadImageFormatException in both Release and Debug build with units of measure
- Bugfix: Incorrent cross-module inlining between different .NET profiles
- Bugfix: Properly document exceptions in
Array
module - Bugfix #24: Error reporting of exceptions in type providers
AddMemberDelayed
- Bugfix #13: Error on FSI terminal resize
- Bugfix #29: Module access modifier
internal
does not give internal access if no namespaces are used - Bugfix: Fix typo in error message for invalid attribute combination
- Bugfix #27: Private module values can be mutated by other modules
- Bugfix #38: ICE - System.ArgumentException: not a measure abbreviation, or incorrect kind
- Bugfix #44: Problems using FSI to
#load
multiple files contributing to the same namespace - Bugfix #95:
[<RequireQualifiedAccess>]
allows access to DU member if qualified only by module name - Bugfix #89: Embedding an untyped quotation in a typed quotation results in ArgumentException
- Bugfix: Show warning when Record is accessed without type but
[<RequireQualifiedAccess>]
was set - Bugfix #139: Memory leak in
Async.AwaitWaitHandle
- Bugfix #122:
stfld
does not give.volatile
annotation - Bugfix #30: Compilation error "Incorrect number of type arguments to local call"
- Bugfix #163: Array slicing does not work properly with non 0-based arrays
- Bugfix #148: XML doc comment generation adding empty garbage
- Bugfix #98: Using a single, optional, static parameter to a type provider causes failure
- Bugfix #109: Invalid interface generated by --sig
- Bugfix #123: Union types without sub-classes should be sealed
- Bugfix #68: F# 3.1 / Profile 259:
<@ System.Exception() @>
causes AmbiguousMatchException at runtime - Bugfix #9: Internal error in FSI: FS0192: binding null type in envBindTypeRef
- Bugfix #10: Internal error: binding null type in envBindTypeRef
- Bugfix #266:
windowed
error message incorrectly flags "non-negative" input when "positive" is what's needed - Bugfix #270: "internal error: null: convTypeRefAux" in interactive when consuming quotation containing type name with commas or spaces
- Bugfix #276: Combining struct field with units of measure will result managed type instead of unmanaged type
- Bugfix #269: Accidentally
#load
ing a DLL in script causes internal error - Bugfix #293:
#r
references without relative path are not loaded when file is local - Bugfix #237: Problems using FSI on multiple namespaces in a single file
- Bugfix #338: Escaped unicode characters are encoded incorrectly
- Bugfix #370:
Seq.sortBy
cannot handle sequences of floats containing NaN - Bugfix #368: Optimizer incorrectly assumes immutable field accesses are side-effect free
- Bugfix #337: Skip interfaces that lie outside the set of referenced assemblies
- Bugfix #383: Class with
[<AllowNullLiteral(false)>]
barred from inheriting from normal non-nullable class - Bugfix #420: Compiler emits incorrect visibility modifier for internal constructors of abstract class
- Bugfix #362: Depickling assertion followed by nullref internal errors in units-of-measure case
- Bugfix #342: FS0193 error when specifying sequential struct layout of a type
- Bugfix #299: AmbiguousMatchException with
[<ReflectedDefinition>]
on overloaded extension methods - Bugfix #316: Null array-valued attribute causes internal compiler error
- Bugfix #147: FS0073: internal error: Undefined or unsolved type variable: 'a
- Bugfix #34: Error in pass2 for type FSharp.DataFrame.FSharpFrameExtensions, error: duplicate entry 'Frame2.GroupRowsBy' in method table
- Bugfix #212: Record fields initialized in wrong order
- Bugfix #445: Inconsistent compiler prompt message when using
--pause
switch - Bugfix #238: Generic use of member constraint solved to record field causes crash
- Updated all templates (except tutorial) to include AssemblyInfo.fs setup in the same manner as default C# project templates
- Add keyboard shortcuts for FSI reset and clear all
- Improved debugger view for Map values
- Improved performance reading stdout/stderr from fsi.exe to F# Interactive window
- Support for VS project up-to-date check
- Improved project template descriptions, make it clearer how to target Xamarin platforms
- Intellisense completion in object initializers
- Add menu entry "Open folder in File Explorer" on folder nodes
- Intellisense completion for named arguments
Alt+Enter
sends current line of code to interactive if there is no selection- Support for debugging F# scripts with the VS debugger
- Add support for hexadecimal values (like 0xFF) ??to MSBuild property BaseAddress
- Updated menu icons used for F# interactive to align with other VS interactive windows
- Bugfix: Fix url of fsharp.org website in vs templates
- Bugfix #141: The "Error List" window does not parse MSBuild messages correctly
- Bugfix #147: Go to definition doesn't work for default struct ctors
- Bugfix #50: Members hidden from IntelliSense still show up in tooltips
- Bugfix #57 (partial): Visual Studio locking access to XML doc files
- Bugfix #157: Should not allow Framework 4 / F# 3.1 combination in project properties
- Bugfix #114: Portable Library (legacy) template displays wrong target framework version
- Bugfix #273: VS editor shows bogus errors when scripts use multi-hop
#r
and#load
with relative paths - Bugfix #312: F# library project templates and portable library templates do not have
AutoGenerateBindingRedirects
set to true - Bugfix #321: Provided type quickinfo shouldn't show hidden and obsolete members from base class
- Bugfix #319: Projects with target runtime 3.0 don't show up correctly on the VS project dialog
- Bugfix #283: Changing target framework causes incorrect binding redirects to be added to app.config
- Bugfix #278: NullReferenceException when trying to add some COM references
- Bugfix #259: Renaming files in folders causes strange UI display
- Bugfix #350: Renaming linked file results in error dialog
- Bugfix #381: Intellisense stops working when referencing PCL component from script (requires
#r "System.Runtime"
) - Bugfix #104: Using paste to add files to an F# project causes the order of files in the project and on the UI to get out of sync
- Bugfix #417: 'Move file up/down' keybindings should be scoped to solution explorer
- Bugfix #246: Fix invalid already rendered folder error
- Bugfix #106 (partial): Visual F# Tools leak memory while reloading solutions
3.1.2 - 20 August 2014
Includes commits up to 3385e58aabc91368c8e1f551650ba48705aaa285
- Allow arbitrary-dimensional slicing
- Ship versions FSharp.Core.dll built on portable profiles 78 and 259
- Support "shebang" (
#!
) in F# source files - Vertical pipes disallowed in active pattern case identifiers
- Enable non-locking shadow copy of reference assemblies in fsi/fsianycpu
- Inline codegen optimization using structs
- Perf improvement for
Seq.windowed
- exe.config files for fsc, fsi, fsianycpu now use simple version range instead of long set of explicit version redirects
- Bugfix #72: Indexer properties with more than 4 arguments cannot be accessed
- Bugfix #113:
Async.Sleep
in .NETCore profiles does not invoke error continuation - Bugfix #91: String module documentation is false
- Bugfix #78: Allow space characters in active pattern case identifiers
- Bugfix: Invalid code generated when calling VB methods with optional byref args
- Bugfix #69: Invalid code generated when calling C# method with optional nullable args
- Bugfix #9: XML doc comments on F# record type fields do not appear when accessing in C#
- Bugfix #59: Compiler always requires System.Runtime.InteropServices, this is not present in all portable profiles
- Bugfix #17: Incorrect generation of XML from doc comments for Record fields
- Bugfix #7: NullRef in list comprehension, when for loop works
- Bugfix #1: Type inference involving generic param arrays
- Bugfix #37: Perf regression in 3.1.0 related to resolving extension methods
- Bugfix: Can't run F# console application with 'update' in name
- Bugfix: Slicing and range expression inconsistent
- Bugfix: Invalid code is generated when using field initializers in struct constructor
- Project templates for F# portable libraries targeting profiles 78 and 259
- Enable non-locking shadow copy of reference assemblies in fsi/fsianycpu (VS options added)
- Allow breakpoints to be set inside of quotations
- Support "Publish" action in project system for web, Azure
- Bugfix #126: F# package installer does not honor custom install paths for express SKUs
- Bugfix #75: Microsoft.FSharp.Targets shim not deployed with F# SDK
- Bugfix: Fix crash in smart indent provider
- Bugfix #55: Cannot add reference to F# PCL project
- Bugfix: Typos in tutorial project script
- Bugfix: Required C# event members do not appear in intellisense when signature is (object, byref)
3.1.1 - 24 January 2014
- Improve F# compiler telemetry
- Bugfix: Improper treatment of * in AssemblyVersion attribute
- Bugfix:
sprintf "%%"
returns"%%"
in F# 3.1.0, previously returned"%"
in F# 3.0 and earlier - Bugfix: F# 3.0 1D slice setter does not compile in F# 3.1.0
- Enable installation of Visual F# on VS Desktop Express
- Added support for showing xml doc comments for named arguments
- Visual F# package deployable on non-VS machines. Deploys compiler and runtime toolchain plus msbuild targets
- Bugfix: Errors when attempting to add reference to .NET core library
- Bugfix: Crash in
FSComp.SR.RunStartupValidation()
- Compiler support for
LangVersion
- Implicit
yield
s - No more required double underscore (wildcard identifier)
- Indentation relaxations for parameters passed to constructors and static methods
- Anonymous records
ValueOption
module functions
- Versioning alignment of binary, package, and language
- Support for
Span<'T>
and related types - Ability to produce
byref
returns - The
voidptr
type - The
inref<'T>
andoutref<'T>
types to represent readonly and write-onlybyref
s IsByRefLike
structsIsReadOnly
structs- Extension method support for
byref<'T>
/inref<'T>
/outref<'T>
match!
keyword in computation expressions- Relaxed upcast with
yield
in F# sequence/list/array expressions - Relaxed indentation with list and array expressions
- Enumeration cases emitted as public
- Struct tuples which inter-operate with C# tuples
- Struct annotations for Records
- Struct annotations for Single-case Discriminated Unions
- Underscores in numeric literals
- Caller info argument attributes
- Result type and some basic Result functions
- Mutually referential types and modules within the same file
- Implicit
Module
syntax on modules with shared name as type - Byref returns, supporting consuming C#
ref
-returning methods - Error message improvements
- Support for
fixed
printf
on unitized values- Extension property initializers
- Non-null provided types
- Primary constructors as functions
- Static parameters for provided methods
printf
interpolation- Extended
#if
grammar - Multiple interface instantiations
- Optional type args
- Params dictionaries
- Named union type fields
- Extensions to array slicing
- Type inference enhancements
- Type providers
- LINQ query expressions
- CLIMutable attribute
- Triple-quoted strings
- Auto-properties
- Provided units-of-measure
- Active patterns
- Units of measure
- Sequence expressions
- Asynchronous programming
- Agent programming
- Extension members
- Named arguments
- Optional arguments
- Array slicing
- Quotations
- Native interoperability
- Computation expressions
- Interactive environment
- Object programming
- Encapsulation Extensions
- Discriminated unions
- Records
- Tuples
- Pattern matching
- Type abbreviations
- Object expressions
- Structs
- Signature files
- Imperative programming
- Modules (no functors)
- Nested modules
- .NET Interoperability