Re: #16406: Array code works with GHC 8.4.4, hangs with GHC 8.6.4

"GHC" <[email protected]> Fri, 08 Mar 2019 14:45:33 -0000
Newsgroups gmane.comp.lang.haskell.glasgow.bugs
Message-ID <[email protected]>
--===============7709680732698942443==
Content-Type: multipart/related;
 boundary="===============4374315846103802165=="

--===============4374315846103802165==
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 7bit

#16406: Array code works with GHC 8.4.4, hangs with GHC 8.6.4
-------------------------------------+-------------------------------------
        Reporter:  arybczak          |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  libraries         |              Version:  8.6.4
  (other)                            |
      Resolution:                    |             Keywords:  array
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by bgamari):

 The report has this to say about accumArray:

 > If the accumulating function is strict, then accumArray is strict in the
 values, as well as the indices, in the association list. Thus, unlike
 ordinary arrays built with array, accumulated arrays should not in general
 be recursive.

 It does sound like we are within our rights to be strict here. However,
 perhaps we should document this strictness a bit better

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16406#comment:10>