diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2016-11-06 12:47:48 +0000 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2016-11-06 12:47:48 +0000 |
| commit | 25c8e80eccc512d05c0ca8df401271db65b5987b (patch) | |
| tree | 74f86a98fb5551a323666e3040ac33aa34657cc2 /docs/users_guide/debugging.rst | |
| parent | 1c886eadcfbb593bb06bfff7b8a4914b5349f080 (diff) | |
| download | haskell-25c8e80eccc512d05c0ca8df401271db65b5987b.tar.gz | |
Add tracing infrastructure to pattern match checker
Summary:
This is the start of some tracing infrastructure which I found useful
when working through how the pattern match checker worked.
It adds the flag -ddump-ec-trace in order to turn on the trace.
Reviewers: austin, bgamari
Reviewed By: bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2658
Diffstat (limited to 'docs/users_guide/debugging.rst')
| -rw-r--r-- | docs/users_guide/debugging.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/users_guide/debugging.rst b/docs/users_guide/debugging.rst index d414408a02..ba44e60074 100644 --- a/docs/users_guide/debugging.rst +++ b/docs/users_guide/debugging.rst @@ -193,6 +193,11 @@ Dumping out compiler intermediate structures Make the renamer be *real* chatty about what it is up to. +.. ghc-flag:: -ddump-ec-trace + + Make the pattern match exhaustiveness checker be *real* chatty about + what it is up to. + .. ghc-flag:: -ddump-rn-stats Print out summary of what kind of information the renamer had to |