Skip to content

Display all threads by default#195

Open
alt-romes wants to merge 1 commit intomasterfrom
wip/romes/multi-threaded
Open

Display all threads by default#195
alt-romes wants to merge 1 commit intomasterfrom
wip/romes/multi-threaded

Conversation

@alt-romes
Copy link
Copy Markdown
Collaborator

  • We display all the threads in the debuggee process, except for ...
  • When using the internal interpreter, the debuggee process and debugger process are the same. Therefore, we'll also see the debugger threads in that case. That's fine, it's observing the actual threads of the process being debugged.

@alt-romes
Copy link
Copy Markdown
Collaborator Author

I think we should filter out the GHCi sandbox labeled threads, except for the main thread in which the debuggee entry point was running. Threads spawned by the debuggee will have normal "Thread #NNNN" labels by default, or be labeled by the user.

Some things are still not exactly right, where some threads will be stopped on a breakpoint but still displayed as RUNNING since the thread which we stopped on was another one.

It's also a bit weird experimenting with the example program given in #138, so it'd be good to understand that better before merging this in

@alt-romes alt-romes force-pushed the wip/romes/multi-threaded branch from f828950 to 0d6734a Compare March 11, 2026 13:48
- We display all the threads in the debuggee process, except for ...
- When using the internal interpreter, the debuggee process and
  debugger process are the same. Therefore, we'll also see the debugger
  threads in that case. That's fine, it's observing the actual threads
  of the process being debugged.
@alt-romes alt-romes force-pushed the wip/romes/multi-threaded branch from 0d6734a to 1721e6d Compare March 16, 2026 15:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant