Support type redefinition (WIP)

[timholy]

This is work towards supporting redefinition of types. It relies on JuliaLang/julia#22721, so it will only be available on 0.7 and higher. AFAICT the only missing part is to populate method2rex. (It would be nicer if we could just get the source-expression directly from the Method, but currently that's not cached.)

[codecov-io]

Codecov Report

Merging #25 into master will decrease coverage by 9.02%.
The diff coverage is 22.91%.

@@            Coverage Diff             @@
##           master      #25      +/-   ##
==========================================
- Coverage    74.8%   65.78%   -9.03%     
==========================================
  Files           1        1              
  Lines         258      301      +43     
==========================================
+ Hits          193      198       +5     
- Misses         65      103      +38

Impacted Files	Coverage Δ
src/Revise.jl	65.78% <22.91%> (-9.03%)	⬇️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update e1dcb96...89e9104. Read the comment docs.

[ExpandingMan]

Is there anything blocking this?

[timholy]

Is there anything blocking this?

Um, yes. In the OP I linked to a Julia PR for which @vtjnash points out significant problems. AFAIK those barriers remain.

[ExpandingMan]

Sorry, I feel silly, I actually posted that question on the wrong PR! Nevermind!

[timholy]

No problem! I'd like this to work too. I'm confident we'll get there eventually, but it's difficult work and there still remains quite a lot of low-hanging fruit.

[Nosferican]

Any updates on this?

[timholy]

Nope. Anyone interested in tackling it might take pointers from https://discourse.julialang.org/t/manually-reloading-a-module-in-1-1/25572/11?u=tim.holy.