diff options
| author | Simon Marlow <simonmar@microsoft.com> | 2007-04-17 14:24:58 +0000 |
|---|---|---|
| committer | Simon Marlow <simonmar@microsoft.com> | 2007-04-17 14:24:58 +0000 |
| commit | cdce647711c0f46f5799b24de087622cb77e647f (patch) | |
| tree | ad89c87c0ac9afba4338346a01eb5492b47f3e20 /compiler/main/TidyPgm.lhs | |
| parent | dc8ffcb9797ade3e3a68e6ec0a89fe2e7444e0ef (diff) | |
| download | haskell-cdce647711c0f46f5799b24de087622cb77e647f.tar.gz | |
Re-working of the breakpoint support
This is the result of Bernie Pope's internship work at MSR Cambridge,
with some subsequent improvements by me. The main plan was to
(a) Reduce the overhead for breakpoints, so we could enable
the feature by default without incurrent a significant penalty
(b) Scatter more breakpoint sites throughout the code
Currently we can set a breakpoint on almost any subexpression, and the
overhead is around 1.5x slower than normal GHCi. I hope to be able to
get this down further and/or allow breakpoints to be turned off.
This patch also fixes up :print following the recent changes to
constructor info tables. (most of the :print tests now pass)
We now support single-stepping, which just enables all breakpoints.
:step <expr> executes <expr> with single-stepping turned on
:step single-steps from the current breakpoint
The mechanism is quite different to the previous implementation. We
share code with the HPC (haskell program coverage) implementation now.
The coverage pass annotates source code with "tick" locations which
are tracked by the coverage tool. In GHCi, each "tick" becomes a
potential breakpoint location.
Previously breakpoints were compiled into code that magically invoked
a nested instance of GHCi. Now, a breakpoint causes the current
thread to block and control is returned to GHCi.
See the wiki page for more details and the current ToDo list:
http://hackage.haskell.org/trac/ghc/wiki/NewGhciDebugger
Diffstat (limited to 'compiler/main/TidyPgm.lhs')
| -rw-r--r-- | compiler/main/TidyPgm.lhs | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/compiler/main/TidyPgm.lhs b/compiler/main/TidyPgm.lhs index 6f44bca63a..b001e1d3b3 100644 --- a/compiler/main/TidyPgm.lhs +++ b/compiler/main/TidyPgm.lhs @@ -124,8 +124,9 @@ mkBootModDetails hsc_env (ModGuts { mg_module = mod , mg_exports = exports , mg_types = type_env , mg_insts = insts - , mg_fam_insts = fam_insts, - mg_dbg_sites = sites }) + , mg_fam_insts = fam_insts + , mg_modBreaks = modBreaks + }) = do { let dflags = hsc_dflags hsc_env ; showPass dflags "Tidy [hoot] type env" @@ -140,7 +141,8 @@ mkBootModDetails hsc_env (ModGuts { mg_module = mod , md_fam_insts = fam_insts , md_rules = [] , md_exports = exports - , md_dbg_sites = sites}) + , md_modBreaks = modBreaks + }) } where @@ -244,7 +246,7 @@ tidyProgram hsc_env mg_dir_imps = dir_imps, mg_deps = deps, mg_foreign = foreign_stubs, mg_hpc_info = hpc_info, - mg_dbg_sites = sites }) + mg_modBreaks = modBreaks }) = do { let dflags = hsc_dflags hsc_env ; showPass dflags "Tidy Core" @@ -303,7 +305,8 @@ tidyProgram hsc_env md_insts = tidy_insts, md_fam_insts = fam_insts, md_exports = exports, - md_dbg_sites = sites }) + md_modBreaks = modBreaks }) + } lookup_dfun type_env dfun_id |