Support for region folding

[g874200]

VSCode documentation says that region folding is supported for F# files using //#region and //#endregion. These marks seem to work correctly for a *.fs file outside of an F# project (there is a fold icon in the gutter which collapses and expands the region). However, when adding the file to a project (with Ionide enabled), the marks cease to work (there is no icon in the gutter). Please consider adding support for these region markers.

[MangelMaxime]

Seems like this works if we set:

  "[fsharp]": {
    "editor.foldingStrategy": "indentation"
  },

However, I think it is breaking the region provided by FSAC.

So perhaps, the fix would be to add support for //#region in FSAC if we have enough information their for that.

[github-actions]

🤖 This is an automated response from Repo Assist.

Thanks for the report! This is a known limitation: Ionide registers a custom folding range provider for F# files that takes precedence over VS Code's built-in token-based folding. The custom provider is backed by the language server (FsAutoComplete), which currently doesn't return folding ranges for //#region / //#endregion markers.

Standalone .fs files (without Ionide active) use VS Code's built-in provider, which does support these markers — hence the difference you're seeing.

The fix would need to be in FsAutoComplete's folding range handler to detect and emit ranges for //#region / //#endregion markers, or alternatively Ionide could fall back to the built-in provider for markers not covered by the language server. Worth filing an issue on the FsAutoComplete repository as well to track the upstream component.

Generated by Repo Assist

To install this workflow, run gh aw add githubnext/agentics/workflows/repo-assist.md@595b7a9c567ba4dce05ca824aec6e74b4dc545b8. View source at https://github.com/githubnext/agentics/tree/595b7a9c567ba4dce05ca824aec6e74b4dc545b8/workflows/repo-assist.md.

Warning

⚠️ Firewall blocked 1 domain

The following domain was blocked by the firewall during workflow execution:

• registry.yarnpkg.com