Skip to content

Add typed-tree differ and edit classification for hot reload #20025

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
NatElkins wants to merge 11 commits into
base: main
Choose a base branch
from
Open

Add typed-tree differ and edit classification for hot reload #20025

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
bdb1d28
Add typed-tree diff slice for hot reload
NatElkins Jul 2, 2026
1a5c97e
Make typed-tree diff classification fail closed
NatElkins Jul 17, 2026
f7dd5dd
Format hot reload compiler sources
NatElkins Jul 17, 2026
6129dda
Harden typed-tree diff classification
NatElkins Jul 22, 2026
e3e089d
Bound decision-tree identity traversal
NatElkins Jul 23, 2026
62df5dc
Merge branch 'main' into hotreload-typedtree-diff
T-Gro Jul 24, 2026
b492d58
Merge remote-tracking branch 'origin/main' into refresh/20260717/hotr…
NatElkins Jul 24, 2026
e56776f
Merge current main
NatElkins Jul 24, 2026
f9be8ba
Merge remote-tracking branch 'origin/main' into merge/20260806/hotrel…
NatElkins Aug 6, 2026
b78ffd6
Use Async.RunSynchronouslyImmediate after test helper removal
NatElkins Aug 6, 2026
b603728
Merge remote-tracking branch 'origin/main' into merge/20260806/hotrel…
NatElkins Aug 14, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions docs/release-notes/.FSharp.Compiler.Service/11.0.100.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -139,6 +139,7 @@

### Added

* Add an internal typed-tree diff utility for future F# hot reload edit classification. It is not called by normal compilation. ([PR #20025](https://github.com/dotnet/fsharp/pull/20025))
* Added a "most concrete" tiebreaker for overload resolution (`--langversion:preview`). ([RFC FS-1340](https://github.com/fsharp/fslang-design/pull/834), [PR #19277](https://github.com/dotnet/fsharp/pull/19277))
* Added support for `OverloadResolutionPriorityAttribute` in overload resolution (`--langversion:preview`). ([RFC FS-1338](https://github.com/fsharp/fslang-design/pull/828), [PR #19277](https://github.com/dotnet/fsharp/pull/19277))
* Added internal synthesized-name replay infrastructure for compiler-generated names, preserving normal compilation output while enabling future hot reload name stability work.
Expand Down
1 change: 1 addition & 0 deletions src/Compiler/FSharp.Compiler.Service.fsproj
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -377,6 +377,7 @@
<Compile Include="TypedTree\TypedTreeOps.ExprOps.fs" />
<Compile Include="TypedTree\TypedTreeOps.Transforms.fsi" />
<Compile Include="TypedTree\TypedTreeOps.Transforms.fs" />
<Compile Include="TypedTree\TypedTreeDiff.fs" />
<Compile Include="TypedTree\TypedTreePickle.fsi" />
<Compile Include="TypedTree\TypedTreePickle.fs" />
<Compile Include="TypedTree\UpdatePrettyTyparNames.fsi" />
Expand Down
Loading
Loading