ghci: make the Pipe type opaque
This commit makes the Pipe type in ghci opaque, and introduce the mkPipeFromHandles constructor for creating a Pipe from a pair of Handles. Pipe is now just a pair of receiver/sender continuations under the hood. This allows a Pipe to be potentially backed by other IPC mechanisms (e.g. WebSockets) which is essential for wasm ghci browser mode. (cherry picked from commit 7d18c19b)
Showing
- compiler/GHC/Runtime/Interpreter.hs 2 additions, 4 deletionscompiler/GHC/Runtime/Interpreter.hs
- compiler/GHC/Runtime/Interpreter/JS.hs 2 additions, 3 deletionscompiler/GHC/Runtime/Interpreter/JS.hs
- compiler/GHC/Runtime/Interpreter/Wasm.hs 2 additions, 3 deletionscompiler/GHC/Runtime/Interpreter/Wasm.hs
- libraries/ghci/GHCi/Message.hs 25 additions, 19 deletionslibraries/ghci/GHCi/Message.hs
- libraries/ghci/GHCi/Server.hs 1 addition, 3 deletionslibraries/ghci/GHCi/Server.hs
Loading