projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8099fc7) | patch
Dynamic breakpoints in GHCi
authorPepe Iborra <mnislaih@gmail.com>
Sun, 10 Dec 2006 23:15:51 +0000 (23:15 +0000)
committerPepe Iborra <mnislaih@gmail.com>
Sun, 10 Dec 2006 23:15:51 +0000 (23:15 +0000)
commit8bc615fdb45b8e3f2f3ef2167bbb379bf619aab2
treedf8119b6cfa21bb950d98074856a92b1c5a42b09tree | snapshot
parent8099fc7e9c54b24dc50c2cd1b9bfdc59e2d218b1commit | diff
Dynamic breakpoints in GHCi

This patch adds dynamic breakpoints to GHCi

There is a new ':breakpoint' command to manage breakpoints.
GHCi simply uses the breakpoint api functions in ghc-api to install itself as a client.
The mechanism used by GHCi to keep track of enabled breakpoints is a simple table.

When a breakpoint is hit, a new interactive session is launched and the bindings in the breakpoint are injected. Some commands are disabled in this sub session
compiler/ghci/Debugger.hs [new file with mode: 0644] blob
compiler/ghci/Debugger.hs-boot [new file with mode: 0644] blob
compiler/ghci/GhciMonad.hs diff | blob | history
compiler/ghci/InteractiveUI.hs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)