Design doc on reusing typechecking results by psfinaki · Pull Request #17368 · dotnet/fsharp · GitHub
Skip to content

Design doc on reusing typechecking results - #17368

Merged
psfinaki merged 51 commits into
dotnet:mainfrom
psfinaki:reuse-typecheck
Dec 12, 2024
Merged

psfinaki merged 51 commits into
dotnet:mainfrom
psfinaki:reuse-typecheck

Conversation

@psfinaki

@psfinaki psfinaki commented Jun 28, 2024 •

Copy link
Copy Markdown
Contributor

The design for #17260.

@github-actions

github-actions Bot commented Jun 28, 2024 •

Copy link
Copy Markdown
Contributor

Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
Comment thread docs/reusing-typecheck-results.md Outdated
@auduchinok

auduchinok commented Jul 24, 2024 •

Copy link
Copy Markdown
Member

Comment thread docs/reusing-typecheck-results.md Outdated
@psfinaki psfinaki changed the title [WIP] Design doc on reusing typecheck results Design doc on reusing typecheck results Aug 27, 2024
@psfinaki
psfinaki marked this pull request as ready for review August 27, 2024 12:31
@psfinaki
psfinaki requested a review from a team as a code owner August 27, 2024 12:31
Comment thread docs/reusing-typechecking-results.md Outdated
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

7 participants