Skip to content

Backport: nested function name canonicalization#179

Merged
kpamnany merged 1 commit intov1.10.2+RAIfrom
kp-backport-53719
Dec 5, 2024
Merged

Backport: nested function name canonicalization#179
kpamnany merged 1 commit intov1.10.2+RAIfrom
kp-backport-53719

Conversation

@kpamnany
Copy link
Copy Markdown

@kpamnany kpamnany commented Sep 11, 2024 •
edited
Loading

PR Description

Backports JuliaLang#53719.

Checklist

Requirements for merging:

@kpamnany kpamnany requested a review from d-netto September 11, 2024 15:32
@github-actions github-actions bot added port-to-v1.10 port-to-v1.12 This change should apply to Julia v1.12 builds labels Sep 11, 2024
d-netto
d-netto reviewed Sep 11, 2024
View reviewed changes
Copy link
Copy Markdown

@d-netto d-netto left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Have a minor comment.

I'd be more confident on this backport if you could run the JuliaLang tests locally on your machine and report the results here.

@kpamnany
Copy link
Copy Markdown
Author

kpamnany commented Sep 12, 2024

Some failures:

<snip>
asyncmap                                         (15) |    17.35 |   0.38 |  2.2 |     682.96 |   579.92                                                                               
SparseArrays/linalg_solvers                      (15) |        started at 2024-09-12T14:43:22.234                                                                                      
show                                             (31) |         failed at 2024-09-12T14:43:22.912                                                                                      
Test Failed at /home/ubuntu/julia.rai/test/show.jl:790                                                                                                                                 
  Expression: occursin(r"var\"#foo2##[0-9]+", sprint(show, (M53719.foo2(1))(2), context = :module => M53719))                                                                          
   Evaluated: occursin(r"var\"#foo2##[0-9]+", "var\"#bar2##1#bar2##2\"{Int64, Int64}(2, 1)")                                                                                           
                                                                                                                                                                                       
Test Failed at /home/ubuntu/julia.rai/test/show.jl:801                                                                                                                                 
  Expression: occursin(r"var\"#bar#foo##[0-9]+", sprint(show, typeof(M53719.foo(1)), context = :module => M53719))                                                                     
   Evaluated: occursin(r"var\"#bar#foo##[0-9]+", "var\"#bar#bar##0\"{Int64}")                                                                                                          
                                                                                                                                                                                       
Test Failed at /home/ubuntu/julia.rai/test/show.jl:803                                                                                                                                 
  Expression: occursin(r"var\"#baz#foo##[0-9]+", sprint(show, typeof((M53719.foo(1))(2)), context = :module => M53719))                                                                
   Evaluated: occursin(r"var\"#baz#foo##[0-9]+", "var\"#baz#bar##1\"{Int64, Int64}")                                                                                                   
                                                                                                                                                                                       
Test Failed at /home/ubuntu/julia.rai/test/show.jl:805                                                                                                                                 
  Expression: occursin(r"var\"#bar2#foo2##[0-9]+", sprint(show, typeof(M53719.foo2(1)), context = :module => M53719))                                                                  
   Evaluated: occursin(r"var\"#bar2#foo2##[0-9]+", "var\"#bar2#bar2##0\"{Int64}")                                                                                                      
                                                                                                                                                                                       
Test Failed at /home/ubuntu/julia.rai/test/show.jl:807                                                                                                                                 
  Expression: occursin(r"var\"#foo2##[0-9]+#foo2##[0-9]+", sprint(show, typeof((M53719.foo2(1))(2)), context = :module => M53719))                                                     
   Evaluated: occursin(r"var\"#foo2##[0-9]+#foo2##[0-9]+", "var\"#bar2##1#bar2##2\"{Int64, Int64}")
<snip>

@kpamnany kpamnany added port-to-v1.10 and removed port-to-v1.10 port-to-v1.12 This change should apply to Julia v1.12 builds labels Sep 15, 2024
@d-netto d-netto force-pushed the kp-backport-53719 branch 2 times, most recently from df219a8 to 38af02c Compare September 23, 2024 16:36
nickrobinson251 pushed a commit that referenced this pull request Sep 23, 2024
@DilumAluthgeBot @DilumAluthge
🤖 [master] Bump the Tar stdlib from 81888a3 to 1114260 (JuliaLang#54670)
ef19235 
Stdlib: Tar
URL: https://github.com/JuliaIO/Tar.jl.git
Stdlib branch: master
Julia branch: master
Old commit: 81888a3
New commit: 1114260
Julia version: 1.12.0-DEV
Tar version: 1.10.0(Does not match)
Bump invoked by: @StefanKarpinski
Powered by:
[BumpStdlibs.jl](https://github.com/JuliaLang/BumpStdlibs.jl)

Diff:
JuliaIO/Tar.jl@81888a3...1114260

```
$ git log --oneline 81888a3..1114260
1114260 Accept other string types for all string arguments (fix #179) (#180)
a2e39d6 Bump julia-actions/cache from 1 to 2 (#178)
152d12e Bump julia-actions/setup-julia from 1 to 2 (#177)
5012536 Fix Codecov (#176)
9b5460b Add `public` declarations using `eval` (#175)
4e9d73a Add docstring for Tar module (#173)
38a4bf4 Bump codecov/codecov-action from 3 to 4 (#172)
166deb3 [CI] Switch to `julia-actions/cache` (#171)
d0085d8 Hardcode doc edit backlink (#164)
7e83ed7 [NFC] fix some wonky formatting (#168)
6269b5b Bump actions/checkout from 3 to 4 (#163)
```

Co-authored-by: Dilum Aluthge <dilum@aluthge.com>
d-netto
d-netto approved these changes Sep 23, 2024
View reviewed changes
Copy link
Copy Markdown

@d-netto d-netto left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍.

Please confirm it passes raicode CI before merging.

@github-actions
Copy link
Copy Markdown

github-actions bot commented Oct 24, 2024

This PR is stale because it has been open 30 days with no activity. Comment or remove stale label, or this PR will be closed in 5 days.

@github-actions github-actions bot added the stale This pull request is inactive label Oct 24, 2024
@kpamnany kpamnany removed the stale This pull request is inactive label Oct 24, 2024
@github-actions
Copy link
Copy Markdown

github-actions bot commented Nov 26, 2024

This PR is stale because it has been open 30 days with no activity. Comment or remove stale label, or this PR will be closed in 5 days.

@github-actions github-actions bot added the stale This pull request is inactive label Nov 26, 2024
@kpamnany kpamnany removed the stale This pull request is inactive label Nov 26, 2024
@d-netto @kpamnany
Canonicalize names of nested functions by keeping a more fine grained…
c374a07 
… counter -- per (module, method name) pair (JuliaLang#53719)

As mentioned in JuliaLang#53716, we've
been noticing that `precompile` statements lists from one version of our
codebase often don't apply cleanly in a slightly different version.

That's because a lot of nested and anonymous function names have a
global numeric suffix which is incremented every time a new name is
generated, and these numeric suffixes are not very stable across
codebase changes.

To solve this, this PR makes the numeric suffixes a bit more fine
grained: every pair of (module, top-level/outermost function name) will
have its own counter, which should make nested function names a bit more
stable across different versions.

This PR applies @JeffBezanson's idea of making the symbol name changes
directly in `current-julia-module-counter`.

Here is an example:

```Julia
julia> function foo(x)
           function bar(y)
               return x + y
           end
       end
foo (generic function with 1 method)

julia> f = foo(42)
(::var"#bar#foo##0"{Int64}) (generic function with 1 method)
```
@kpamnany kpamnany merged commit 9344ba8 into v1.10.2+RAI Dec 5, 2024
@kpamnany kpamnany deleted the kp-backport-53719 branch December 5, 2024 20:20
nickrobinson251 pushed a commit that referenced this pull request Feb 26, 2025
@kpamnany @d-netto @nickrobinson251
Canonicalize names of nested functions by keeping a more fine grained…
b4debb2 
… counter -- per (module, method name) pair (JuliaLang#53719) (#179)

As mentioned in JuliaLang#53716, we've
been noticing that `precompile` statements lists from one version of our
codebase often don't apply cleanly in a slightly different version.

That's because a lot of nested and anonymous function names have a
global numeric suffix which is incremented every time a new name is
generated, and these numeric suffixes are not very stable across
codebase changes.

To solve this, this PR makes the numeric suffixes a bit more fine
grained: every pair of (module, top-level/outermost function name) will
have its own counter, which should make nested function names a bit more
stable across different versions.

This PR applies @JeffBezanson's idea of making the symbol name changes
directly in `current-julia-module-counter`.

Here is an example:

```Julia
julia> function foo(x)
           function bar(y)
               return x + y
           end
       end
foo (generic function with 1 method)

julia> f = foo(42)
(::var"#bar#foo##0"{Int64}) (generic function with 1 method)
```

Co-authored-by: Diogo Netto <61364108+d-netto@users.noreply.github.com>
@d-netto d-netto mentioned this pull request Mar 14, 2025
Merged
3 tasks
github-actions bot pushed a commit that referenced this pull request Apr 4, 2026
@DilumAluthgeBot @DilumAluthge
🤖 Bump Distributed stdlib cd92195 → d439c24 (JuliaLang#61109)
45ee44a 
Stdlib: Distributed
URL: https://github.com/JuliaLang/Distributed.jl
Stdlib branch: master
Julia branch: master
Old commit: cd92195
New commit: d439c24
Julia version: 1.14.0-DEV
Distributed version: 1.11.0 (Does not match)
Bump invoked by: @DilumAluthge
Powered by:
[BumpStdlibs.jl](https://github.com/JuliaLang/BumpStdlibs.jl)

Diff:
JuliaLang/Distributed.jl@cd92195...d439c24

```
$ git log --oneline cd92195..d439c24
d439c24 CI: Add a CI job that runs JET tests (#164)
d396a8c Fix some JET errors around matching methods for `send_connection_hdr(...)` and `send_msg_now(...)` (#180)
231da28 Fix some JET errors around matching methods for `kill(...)` and `process_exited(...)` (#172)
2adcd26 Rename one method of `run_work_thunk()` to `run_work_thunk_remotevalue()`; this fixes a JET error around matching methods for `run_work_thunk(...)` (#181)
1bc91f9 Fix a JET error regarding the existence of the local variable `reducer` at a certain point (#169)
b7c43b2 Fix a JET error around matching methods for `push!(...)` (#173)
d06aa73 Fix a JET error around matching methods for `getindex(...)` (#170)
0cf9910 Fix a JET error around matching methods for `read_worker_host_port(...)` (#171)
9f6459f Fix JET errors around matching methods for `lock(...)` and `unlock(...)` (#167)
9724553 Fix a JET error around matching methods for `shell_escape_wincmd(...)` (#174)
d65a996 Fix a JET error by narrowing the type signature of the `create_worker(x, y)` function (#175)
3ebddd3 avoid `Core.Box` in the package (#161)
2fe1aa4 Change `Distributed.cluster_manager` from a global non-constant `ClusterManager` to a global constant `Ref{ClusterManager}` (#177)
6649a94 Ensure correct type parameter of serialized RemoteChannel (#179)
871e3d7 Fix JET errors around matching methods for `send_msg_now(...)` (#165)
56fa9f2 Fix JET errors around matching methods for `send_msg(...)` (#166)
a6195c0 Bump actions/checkout from 5 to 6 (#155)
```

Co-authored-by: DilumAluthge <5619885+DilumAluthge@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@d-netto d-netto d-netto approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@kpamnany @d-netto