[commit: ghc] supercompiler: Restrict assertion (ebe007c)
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 : supercompiler http://hackage.haskell.org/trac/ghc/changeset/ebe007c01ff5df4e1f70f9579b1ee3c315e07278 >--------------------------------------------------------------- commit ebe007c01ff5df4e1f70f9579b1ee3c315e07278 Author: Max Bolingbroke <[email protected]> Date: Tue Apr 24 10:36:30 2012 +0100 Restrict assertion >--------------------------------------------------------------- .../Supercompile/Evaluator/Evaluate.hs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler/supercompile/Supercompile/Evaluator/Evaluate.hs b/compiler/supercompile/Supercompile/Evaluator/Evaluate.hs index 2710d72..80af4ae 100644 --- a/compiler/supercompile/Supercompile/Evaluator/Evaluate.hs +++ b/compiler/supercompile/Supercompile/Evaluator/Evaluate.hs @@ -158,7 +158,7 @@ step' normalising ei_state = {-# SCC "step'" #-} (\res@(_reduced, stepped_state) -> let _deeds = either releaseStateDeed releaseUnnormalisedStateDeed ei_state _doc = either (pPrintFullState quietStatePrettiness) (pPrintFullUnnormalisedState quietStatePrettiness) ei_state _fvs = either stateFreeVars unnormalisedStateFreeVars ei_state in - ASSERT2(noChange _deeds (releaseStateDeed stepped_state), + ASSERT2(not dEEDS || noChange _deeds (releaseStateDeed stepped_state), hang (text "step': deeds lost or gained:") 2 (_doc $$ pPrintFullState quietStatePrettiness stepped_state)) ASSERT2(subVarSet (stateFreeVars stepped_state) _fvs, text "step': FVs" $$ hang (text "Before:") 2 (pPrint _fvs $$ _doc) $$