JuliaDebug / JuliaDebug/LoweredCodeUtils.jl
LoweredCodeUtils does not compose with CassetteOverlay
Open
Nobody has claimed this yet.
- Dominant language
- Julia
- Stars
- 19
- Forks
- 14
- Avg merge
- 17m
- Merged PRs (30d)
- 3
Description
┌ Error: Failed to revise /home/keno/.julia/dev/InterfaceSpecs/src/engines/property.jl
│ exception =
│ KeyError: key :PropCheckOverlay not found
│ Stacktrace:
│ [1] getindex
│ @ Base ./dict.jl:504 [inlined]
│ [2] identify_framemethod_calls(frame::JuliaInterpreter.Frame)
│ @ LoweredCodeUtils ~/.julia/packages/LoweredCodeUtils/30gbF/src/signatures.jl:168
└ @ Revise ~/.julia/packages/Revise/7HQ7u/src/packagedef.jl:725
while trying to use revise.
@MethodTable PropCheckOverlay
@overlay PropCheckOverlay function forall(prop, T)
instances = try
nonoverlay(testinstances, T)
catch err
@error "Error during test instance creation" err=err
rethrow(err)
end
for x in instances
prop(x)()
end
return
end
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Reproduce the failure with the shown @MethodTable PropCheckOverlay and @overlay example while using Revise. Start at LoweredCodeUtils/src/signatures.jl:168, where identify_framemethod_calls reports the missing :PropCheckOverlay key. Done means this overlay usage composes with CassetteOverlay without the reported KeyError.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- julia
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 25/100