-
Notifications
You must be signed in to change notification settings - Fork 35
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.
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
work around problem with finding stdlib files #146
Conversation
feb6395
to
d3ab668
Compare
I pushed a commit to also fixup the printing of the frame. If this is too "hand-wavy" I'm happy just moving this to the debugger instead. |
I still kinda feel like CodeTracking's |
Yeah, I'm inclined to agree. Would be simple to move there. Let's wait and see what Tim thinks. |
I guess we would still need it here for the frame printing and |
But I'd be happy to have a PR in CodeTracking with this replacement operation! It should be performed here. |
5b2ca68
to
8d1d0f0
Compare
Updated the PR based on timholy/CodeTracking.jl#16. Note that the Manifest here for CodeTracking now refers to that PR branch (to run CI) on it but should not be merged as is. |
Commited on top of #145
Previously we couldnt see the source for stdlib files:
Now we can:
The method printing is still wrong though.