Skip to content

fix 12761#13865

Merged
dsyme merged 2 commits into
dotnet:mainfrom
dsyme:fix-12761
Sep 9, 2022
Merged

fix 12761#13865
dsyme merged 2 commits into
dotnet:mainfrom
dsyme:fix-12761

Conversation

@dsyme

@dsyme dsyme commented Sep 9, 2022

Copy link
Copy Markdown
Contributor

Fixes #12761 - a problem with generic backgroundTask and any resumable state machine that has an AfterAction involving closures that capture generic parameters only via the struct state machine type.

The root cause was that the free variable computation for closures was not taking into account that there is a template substitution that may reveal more free type variables.

@dsyme

dsyme commented Sep 9, 2022

Copy link
Copy Markdown
Contributor Author

This is ready

@dsyme dsyme requested review from TIHan and vzarytovskii September 9, 2022 16:14
@vzarytovskii

Copy link
Copy Markdown
Member

/backport to release/dev17.3

@github-actions

Copy link
Copy Markdown
Contributor

Started backporting to release/dev17.3: https://github.com/dotnet/fsharp/actions/runs/3471354086

@github-actions

Copy link
Copy Markdown
Contributor

@vzarytovskii backporting to release/dev17.3 failed, the patch most likely resulted in conflicts:

$ git am --3way --ignore-whitespace --keep-non-patch changes.patch

Patch format detection failed.
Error: The process '/usr/bin/git' failed with exit code 128

Please backport manually!

vzarytovskii pushed a commit to vzarytovskii/fsharp that referenced this pull request Nov 15, 2022
vzarytovskii added a commit that referenced this pull request Nov 15, 2022
Co-authored-by: Don Syme <dsyme@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

error FS0073: internal error: Undefined or unsolved type variable when using records with generic type variables and backgroundTask

2 participants