[GHC] #16291: Document or enable commented-out sanity check in checkStackChunk

6 Feb 2019

      #16291: Document or enable commented-out sanity check in checkStackChunk
-------------------------------------+-------------------------------------
           Reporter:  osa1           |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Compiler       |           Version:
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 `checkStackChunk` is currently defined like this:

 {{{
 void
 checkStackChunk( StgPtr sp, StgPtr stack_end )
 {
     StgPtr p;

     p = sp;
     while (p < stack_end) {
         p += checkStackFrame( p );
     }
     // ASSERT( p == stack_end ); -- HWL
 }
 }}}

 The commented-out assertion makes perfect sense to me, but I can't enable
 it
 (causes test failures), and it's not documented why it should not be
 enabled. I
 think this catches a bug that needs to be fixed.

-- 
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/16291
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler