Shuhei Kadowaki

Debugger enhancements ideas

5

Couple of ideas to improve our debugger: - [x] Datatip for local bindings: https://github.com/JunoLab/Atom.jl/pull/173 - [ ] Inline evaluation including local bindings during debugging?: * it would be nice if...

[todo] refactor out auto module detection handlings

2

The discussion has continued from https://github.com/JunoLab/Atom.jl/pull/192#issuecomment-536489355. In short, we now have 3 alternatives to detect a file's module: 1. old way based on CodeTools:　https://github.com/JunoLab/Atom.jl/blob/9cf10173e4c5727451e43950872d6cdb3795c720/src/eval.jl#L13-L39 2. Revise-like approach:　https://github.com/JunoLab/Atom.jl/blob/9cf10173e4c5727451e43950872d6cdb3795c720/src/utils.jl#L175-L359 3....

We have such a beautiful documentation, and it can be even nicer. Here are several TODOs I'm recognising now: - updates on basic stuff: * [x] update version number of...

adapt to the upstream changes of `AbstractInterpreter` interface

1

This shows how Cthulhu can be updated based on https://github.com/JuliaLang/julia/pull/43994.

updates with the incoming type lattice overhaul

1

This might not be the cleanest implementation, but on this branch Cthulhu should work with https://github.com/JuliaLang/julia/pull/42596. I opened this PR as a draft for those who may want to work...

Can be described with the following example: ```julia julia> f(::Int) = rand(Int) f (generic function with 1 method) julia> f(::Float64) = rand(Float64) f (generic function with 2 methods) julia> descend((Union{Int,Float64},);...

- fixed implementations of quotient rule - added simplification rule for symbolic representation of exponentiation - avoid using the deprecated quoted constructor for `:block` expressions - corrected seemingly wrong statements

Renders the handbook as Documenter.jl documentation, and host them on GitHub Pages. In my opinion, the notebooks would look nicer on Documenter.jl documentation rather than on GitHub nbviewer. Once we...

inlining: relax finalizer inlining control-flow restriction

5

Eager `finalizer` inlining (#45272) currently has a restriction that requires all the def/uses to be in a same basic block. This commit relaxes that restriction a bit by allowing def/uses...

Previously we didn't limit the number of matching methods for `Core.Compiler.return_type`, which could lead to a potential latency problem. This commit makes `Core.Compiler.return_type` and the corresponding tfunc `return_type_tfunc` respect `max_methods`...