[commit: ghc] : Debugging trace upon matching (de258ef)
Max Bolingbroke <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : http://hackage.haskell.org/trac/ghc/changeset/de258efee73a9c74d6cc659e8344ad82045f5460 >--------------------------------------------------------------- commit de258efee73a9c74d6cc659e8344ad82045f5460 Author: Max Bolingbroke <[email protected]> Date: Wed Nov 23 14:34:18 2011 +0000 Debugging trace upon matching >--------------------------------------------------------------- .../supercompile/Supercompile/Drive/Process3.hs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler/supercompile/Supercompile/Drive/Process3.hs b/compiler/supercompile/Supercompile/Drive/Process3.hs index 4079d57..110b4b3 100644 --- a/compiler/supercompile/Supercompile/Drive/Process3.hs +++ b/compiler/supercompile/Supercompile/Drive/Process3.hs @@ -167,7 +167,7 @@ memo opt state = join $ ScpM $ StateT $ \(ms, hist, fs) -> -- I can't rename, so "rename" will cause an error. Not observed in practice yet. case [ (p, (releaseStateDeed state, var (fun p) `applyAbsVars` map (renameAbsVar rn_lr) (abstracted p))) | p <- promises ms - , Just rn_lr <- [(\res -> if isNothing res then pprTraceSC "no match:" (ppr (fun p)) res else res) $ + , Just rn_lr <- [(\res -> if isNothing res then pprTraceSC "no match:" (ppr (fun p)) res else pprTraceSC "match!" (ppr (fun p)) res) $ match (meaning p) state] ] of (p, res):_ -> pure (do { traceRenderM "=sc" (fun p, PrettyDoc (pPrintFullState True state), res) ; return res }, (ms, hist, fs))