FsAutoComplete

The FsAutoComplete project (FSAC) provides a backend service for rich editing or intellisense features for editors.

It can be hosted using the Language Server Protocol.

Currently it is used by:

• Emacs
• Neovim
• Vim
• Visual Studio Code

It's based on:

• FSharp.Compiler.Service for F# language info.
• Dotnet.ProjInfo for project/solution management.
• FSharpLint for the linter feature.
• Fantomas for F# code formatting.

Required software

FsAutoComplete can run on .NET/mono or .NET Core. We highly recommend using .Net Core version of FSAC as we plan to remove "full framework" version soon - read more

FSAC .NET Core

• .NET Core Sdk (Required: >= 2.1, Recommended: >= 3.0 )

FSAC .NET (deprecated)

• on windows: Microsoft Build Tools 2015
• on unix/mac: Required: Mono >= 5.12, Recommended: Mono >= 5.18

Building and testing

Requirements:

• .NET Core Sdk, see global.json for the exact version.

1. Restore dotnet tools to install local Paket and FAKE dotnet tool restore
2. Build FSAC with dotnet fake build

• To build release fsautocomplete binaries in ~/bin directory, do run dotnet fake build --target LocalRelease
• To build, run all tests and create packages, do run dotnet fake build --target All

DevContainer

The repository additionally provides DevContainer definition that can be used with VSCode's Remote Containers extension - use it to get stable development environment

Communication protocol

FsAutoComplete supports LSP as a communication protocol.

Supported LSP endpoints

• initialize
• textDocument/didOpen
• textDocument/didChange
• textDocument/didSave
• textDocument/hover
• textDocument/completion & completionItem/resolve
• textDocument/rename
• textDocument/definition
• textDocument/typeDefinition
• textDocument/implementation
• textDocument/codeAction:
  • Remove unused open
  • Resolve namespace/module
  • Replace unused symbol with _
  • Fix typo based on error message
  • Remove redundant qualifier
  • Add missing new keyword for IDisposable
  • Generate cases for all DU case in pattern matching
  • Generate empty interface implementation
  • Fixes suggested by FSharpLint
• textDocument/codeLens & codeLens/resolve:
  • signature Code Lenses
  • reference number Code Lenses
• textDocument/formatting - powered by fantomas
• textDocument/references
• textDocument/documentHighlight
• textDocument/signatureHelp
• textDocument/documentSymbol
• workspace/didChangeWatchedFiles
• workspace/didChangeConfiguration
• workspace/symbol

Custom endpoints

Custom endpoints are using (for messages body) PlainNotification type and string format serialized with exactly same serialization format as old JSON protocol

• fsharp/signature - accepts TextDocumentPositionParams, returns signature of symbol at given position as a formatted string
• fsharp/signatureData - accepts TextDocumentPositionParams, returns signature of symbol at given position as DTO
• fsharp/lineLens - accepts ProjectParms (Project filed contain F# file path), returns locations where LineLenses should be displayed
• fsharp/compilerLocation - no input, returns paths to FCS, FSI and MsBuild
• fsharp/compile - accepts ProjectParms, tries to compile project, returns list of errors and exit status code
• fsharp/workspacePeek - accepts WorkspacePeekRequest, returns list of possible workspaces (resolved solution files, or list of projects if there are no solution files)
• fsharp/workspaceLoad - accepts WorkspaceLoadParms, loads given list of projects in the background, partial result notified by fsharp/notifyWorkspace notification
• fsharp/project - accepts ProjectParms, loads given project
• fsharp/fsdn - accepts ProjectParms (Project filed contain query string), query FSDN and returns list of functions
• fsharp/f1Help - accepts TextDocumentPositionParams, returns URL to MSDN documentation for symbol at given position
• fsharp/documentation - accepts TextDocumentPositionParams, returns documentation data about symbol at given position, used for InfoPanel
• fsharp/documentationSymbol - accepts DocumentationForSymbolReuqest, returns documentation data about given symbol from given assembly, used for InfoPanel

Supported LSP notifications

• window/showMessage
• window/logMessage
• textDocument/publishDiagnostics

Custom notifications

• fsharp/notifyWorkspace - notification for workspace/solution/project loading events
• fsharp/notifyWorkspacePeek - notification for initial workspace peek

Additional startup options

• --background-service-enabled - passing this flag enables background service feature, increasing FSAC responsiveness by moving some of the operations (especially background type checking) to other process. It results in increased memory usage. Used by default in Ionide.
• --verbose - passing this flag enables additional logging being printed out in stderr
• DOTNET_ROOT - setting this environment variable will set the dotnet SDK root, which is used when finding references for FSX scripts.

Initialization options

Options that should be send as initializationOptions as part of initialize request.

• AutomaticWorkspaceInit - setting it to true will start Workspace Loading without need to run fsharp/workspacePeek and fsharp/workspaceLoad commands. It will always choose top workspace from the found list - all projects in workspace if 0 .sln files are found, .sln file if 1 .sln file was found, .sln file with most projects if multiple .sln files were found. It's designed to be used in clients that doesn't allow to create custom UI for selecting workspaces.

Settings

• FSharp.keywordsAutocomplete - provides keywords in autocomplete list, recommended default value: true

• FSharp.ExternalAutocomplete - provides autocomplete for symbols from not opened namespaces/modules, insert open on accept, recommended default value: false

• FSharp.Linter - enables FSharpLint integration, provides additional warnings and code action fixes, recommended default value: true

• FSharp.UnionCaseStubGeneration - enables code action to generate pattern matching cases, recommended default value: true

• FSharp.UnionCaseStubGenerationBody - defines dummy body used by pattern matching generator, recommended default value: "failwith \"Not Implemented\""

• FSharp.RecordStubGeneration - enables code action to generate record stub, recommended default value: true

• FSharp.RecordStubGenerationBody - defines dummy body used by record stub generator, recommended default value: "failwith \"Not Implemented\""

• FSharp.InterfaceStubGeneration - enables code action to generate interface stub, recommended default value: true

• FSharp.InterfaceStubGenerationObjectIdentifier - defines object identifier used by interface stub generator,recommended default value: "this"

• FSharp.InterfaceStubGenerationMethodBody - defines dummy body used by interface stub generator, recommended default value: "failwith \"Not Implemented\""

• FSharp.UnusedOpensAnalyzer - enables unused open detections, recommended default value: true

• FSharp.UnusedDeclarationsAnalyzer - enables unused symbol detection, recommended default value: true

• FSharp.UseSdkScripts - enables the use of .Net Core SDKs for script file type-checking and evaluation, otherwise the .Net Framework reference lists will be used. Recommended default value: true. Current default value: true

• FSharp.SimplifyNameAnalyzer - enables simplify name analyzer and remove redundant qualifier quick fix, recommended default value: false

• FSharp.ResolveNamespaces - enables resolve namespace quick fix (add open if symbol is from not yet opened module/namespace), recommended default value: true

• FSharp.EnableReferenceCodeLens - enables reference count code lenses, recommended default value: true if --background-service-enabled is used by default, false otherwise

• FSharp.dotNetRoot - sets the root path for finding dotnet SDK references. Primarily used for FSX Scripts. Default value: operating-system dependent. On windows, C:\Program Files\dotnet; on Unix, /usr/local/share/dotnet

• FSharp.fsiExtraParameters - an array of additional runtime arguments that are passed to FSI. These are used when typechecking scripts to ensure that typechecking has the same context as your FSI instances. An example would be to set the following parameters to enable Preview features (like opening static classes) for typechecking.

      "FSharp.fsiExtraParameters": ["--langversion:preview"]
  

Troubleshooting

FileWatcher exceptions

You may see a stack trace finishing with System.IO.IOException: kqueue() error at init, error code = ’0’. This is due to a limitation in the number of file handles that the Mono file watchers can keep open. Restarting FsAutoComplete or the hosting editor should help. If not, try setting export MONO_MANAGED_WATCHER=disabled in your ~/.bash_profile. Note that on OSX, this setting will only take effect if you launch emacs from the terminal.

Maintainers

The maintainers of this repository are:

• Krzysztof Cieślak
• Chester Husk

The primary maintainer for this repository is Krzysztof Cieślak)

Previous maintainers:

• Robin Neatherway
• Steffen Forkmann
• Karl Nilsson
• Enrico Sada