Skip to content
Snippets Groups Projects

Add streaming support to GHC debug brick

Open Zubin requested to merge wip/streaming into master

This is accomplished by a new tracing module GHC.Debug.StreamedTrace that is able to produce results incrementally.

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • I tried out this patch but it doesn't appear finished.

    • Not all the objects appear to be found (I searched for DynFlags and only 1 result was retained bu there are 3300 live)
    • No visual indicator that a search is ongoing when the results are being streamed.
    • If you attempt to start another query when a search is on-going then it just closes the dialog box and shows the keybindings.
    • The "parents" field of Closure doesn't seem to be always populated, it wasn't immediately clear to me what the purpose of that was.

    It does look like a good start though, but I'll make the 0.7 release without merging this.

Please register or sign in to reply
Loading