[GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
15 messages Options
Reply | Threaded
Open this post in threaded view
|

[GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

GHC - devs mailing list
#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
           Reporter:  dredozubov     |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Compiler       |           Version:  8.2.1
           Keywords:                 |  Operating System:  Linux
       Architecture:  x86_64         |   Type of failure:  Compile-time
  (amd64)                            |  crash or panic
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 While upgrading a codebase to GHC 8.2.1(it compiles reliably with 7.10.3)
 we encountered an issue with core simplifier(and rewrite rules if I
 correctly understood the meaning of RuleFired):

 {{{
 ghc: panic! (the 'impossible' happened)
   (GHC version 8.2.1 for x86_64-apple-darwin):
         Simplifier ticks exhausted
   When trying RuleFired Class op $p2HModify
   To increase the limit, use -fsimpl-tick-factor=N (default 100)
   If you need to do this, let GHC HQ know, and what factor you needed
   Total ticks:     10450410

   1494659 PreInlineUnconditionally
     149100 w_ipsJ
     149095 w_ipps
     149084 w_iplQ
     149084 w1_iplR
     149084 w2_iplS
     149084 w3_iplT
     149078 w_ipm7
     149078 w1_ipm8
     149078 w2_ipm9
     149078 w3_ipma
     120 $d~_iplr
     120 $d~1_ipls
     120 irred_iplu
     120 eta_iplv
     39 v_spsR
     38 v_sp9c
     38 v1_sp9d
     38 v_spii
     38 v1_spij
     38 v2_spik
     38 v3_spil
     37 v_sp99
     37 v1_sp9a
     37 v_spin
     37 v1_spio
     37 v2_spip
     37 v3_spiq
     36 v_sp9f
     36 v1_sp9g
     36 v_spis
 ...skipping...
     1 cobox1_apuk
     1 cobox_apuq
     1 cobox1_apur
     1 cobox_apux
     1 cobox1_apuy
   2 CaseIdentity 2 ds1_iqAB
   4 FillInCaseDefault
     1 nt_sqyY
     1 nt_sqz9
     1 nt_sqze
     1 nt_sqzj
   Call stack:
       CallStack (from HasCallStack):
         prettyCurrentCallStack, called at
 compiler/utils/Outputable.hs:1133:58 in ghc:Outputable
         callStackDoc, called at compiler/utils/Outputable.hs:1137:37 in
 ghc:Outputable
         pprPanic, called at compiler/simplCore/SimplMonad.hs:199:31 in
 ghc:SimplMonad

 Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
 }}}

 We tried to shrink reproducible example to something reasonable and this
 is what we got: https://github.com/4e6/webapp-template-hs/tree/simpl-tick-
 factor

 Compiling it with stack build --ghc-options='-fsimpl-tick-factor=1000'(ten
 times the default) will demonstrate the issue.

 It fails reliably with a combination of servant and hset libraries.
 Removing one route from a servant API or moving the PayloadX to the head
 of type-level list makes it compilable again.

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

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

GHC - devs mailing list
#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
        Reporter:  dredozubov        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by mpickering):

 Can you paste the full `-ddump-simpl-stats` output?

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14338#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

GHC - devs mailing list
In reply to this post by GHC - devs mailing list
#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
        Reporter:  dredozubov        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by dredozubov):

 * Attachment "Runner.dump-simpl-stats" added.

 simpl-stats

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

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

GHC - devs mailing list
In reply to this post by GHC - devs mailing list
#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
        Reporter:  dredozubov        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by mpickering):

 That file seems to be truncated to 6 lines?

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14338#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

GHC - devs mailing list
In reply to this post by GHC - devs mailing list
#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
        Reporter:  dredozubov        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by dredozubov):

 * Attachment "Runner.2.dump-simpl-stats" added.


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

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

GHC - devs mailing list
In reply to this post by GHC - devs mailing list
#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
        Reporter:  dredozubov        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by mpickering):

 Still truncated?, perhaps it is too big for trac to deal with? Can you
 upload it elsewhere?

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14338#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

GHC - devs mailing list
In reply to this post by GHC - devs mailing list
#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
        Reporter:  dredozubov        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by dredozubov):

 Just uploaded it as github gist:
 https://gist.github.com/dredozubov/e6696780405eba1615cd15a6e657892b

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14338#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

GHC - devs mailing list
In reply to this post by GHC - devs mailing list
#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
        Reporter:  dredozubov        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by mpickering):

 It seems that the problems are because we are doing lots (and lots (and
 lots)) of inlining of functions which produce and handle coercions.

 Here is the iface file which contains the functions which appear many
 times in the ddump-simpl-stats log.
 https://gist.github.com/mpickering/30adf1e6c61bcfa1462031f947079c10

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14338#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

GHC - devs mailing list
In reply to this post by GHC - devs mailing list
#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
        Reporter:  dredozubov        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 I can't even get to base-camp (with HEAD).  cabal install (with `--allow-
 newer` else nothing at all works) says
 {{{
 ....lots of stuff...
 Preprocessing library unordered-containers-0.2.8.0...
 [1 of 8] Compiling Data.HashMap.PopCount ( Data/HashMap/PopCount.hs,
 dist/build/Data/HashMap/PopCount.o )
 [2 of 8] Compiling Data.HashMap.Unsafe ( Data/HashMap/Unsafe.hs,
 dist/build/Data/HashMap/Unsafe.o )
 [3 of 8] Compiling Data.HashMap.Array ( Data/HashMap/Array.hs,
 dist/build/Data/HashMap/Array.o )
 [4 of 8] Compiling Data.HashMap.UnsafeShift ( Data/HashMap/UnsafeShift.hs,
 dist/build/Data/HashMap/UnsafeShift.o )
 [5 of 8] Compiling Data.HashMap.Base ( Data/HashMap/Base.hs,
 dist/build/Data/HashMap/Base.o )
 [6 of 8] Compiling Data.HashMap.Strict ( Data/HashMap/Strict.hs,
 dist/build/Data/HashMap/Strict.o )
 [7 of 8] Compiling Data.HashMap.Lazy ( Data/HashMap/Lazy.hs,
 dist/build/Data/HashMap/Lazy.o )
 [8 of 8] Compiling Data.HashSet     ( Data/HashSet.hs,
 dist/build/Data/HashSet.o )

 Data/HashSet.hs:80:39: error:
     Module ‘Data.Semigroup’ does not export ‘Monoid(..)’
    |
 80 | import Data.Semigroup (Semigroup(..), Monoid(..))
    |                                       ^^^^^^^^^^
 cabal: Leaving directory '/tmp/cabal-tmp-22962/unordered-
 containers-0.2.8.0'
 Installed iproute-1.7.1
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14338#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

GHC - devs mailing list
In reply to this post by GHC - devs mailing list
#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
        Reporter:  dredozubov        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by bgamari):

 simonpj, perhaps try running
 {{{
 git clone git://github.com/RyanGlScott/unordered-containers
 cabal install --allow-newer unordered-containers/
 }}}
 and then try again.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14338#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

GHC - devs mailing list
In reply to this post by GHC - devs mailing list
#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
        Reporter:  dredozubov        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by 4e6):

 I've updated [https://github.com/4e6/webapp-template-hs/tree/simpl-tick-
 factor webapp-template-hs] example (branch ''simpl-tick-factor'') to be
 compatible with GHC 7 and 8.

 With ghc-7.10.3 it compiles with 2534 simplifier ticks, and with ghc-8.2.1
 it panics with 'Simplifier ticks exhausted' on 256649 ticks. See readme
 for details.

 Here is the full `-ddump-simpl-stats` output for both cases:
 https://gist.github.com/4e6/5ef65efdb309daa373a928ec36404fd7

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14338#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

GHC - devs mailing list
In reply to this post by GHC - devs mailing list
#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
        Reporter:  dredozubov        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 Thanks.  I now get this
 {{{
 simonpj@cam-05-unx:~/tmp/webapp-template-hs$ cabal install --allow-newer
 --with-ghc=/home/simonpj/5builds/HEAD/inplace/bin/ghc-stage2
 Resolving dependencies...
 Configuring basement-0.0.2...
 Configuring colour-2.3.3...
 Configuring blaze-builder-0.4.0.2...
 Configuring primitive-0.6.2.0...
 Configuring psqueues-0.2.4.0...
 Configuring system-filepath-0.4.13.4...
 Configuring unordered-containers-0.2.8.0...
 Building basement-0.0.2...
 Building colour-2.3.3...
 Building blaze-builder-0.4.0.2...
 Building psqueues-0.2.4.0...
 Building primitive-0.6.2.0...
 Building unordered-containers-0.2.8.0...
 Failed to install blaze-builder-0.4.0.2
 Build log ( /home/simonpj/.cabal/logs/blaze-builder-0.4.0.2.log ):
 cabal: Entering directory '/tmp/cabal-tmp-35090/blaze-builder-0.4.0.2'
 Configuring blaze-builder-0.4.0.2...
 Building blaze-builder-0.4.0.2...
 Preprocessing library blaze-builder-0.4.0.2...
 [ 1 of 10] Compiling Blaze.ByteString.Builder.Internal.Write (
 Blaze/ByteString/Builder/Internal/Write.hs,
 dist/build/Blaze/ByteString/Builder/Internal/Write.o )

 Blaze/ByteString/Builder/Internal/Write.hs:122:10: error:
     • No instance for (Semigroup Poke)
         arising from the superclasses of an instance declaration
     • In the instance declaration for ‘Monoid Poke’
     |
 122 | instance Monoid Poke where
     |          ^^^^^^^^^^^

 Blaze/ByteString/Builder/Internal/Write.hs:132:10: error:
     • No instance for (Semigroup Write)
         arising from the superclasses of an instance declaration
     • In the instance declaration for ‘Monoid Write’
     |
 132 | instance Monoid Write where
     |          ^^^^^^^^^^^^

 ... and lots more like that...
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14338#comment:9>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

GHC - devs mailing list
In reply to this post by GHC - devs mailing list
#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
        Reporter:  dredozubov        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by 4e6):

 Ok, I [https://github.com/4e6/webapp-template-hs/tree/simpl-tick-factor
 pushed] the update that removes almost all external dependencies. With
 this update, I was able to build the project with latest
 ghc-8.3-start-1211-g82b77ec375 (version by git-describe)

 Interestingly enough, ghc-8.3 doesn't show the presence of the bug. It
 means that the regression was fixed after the ghc-8.2.1 release.

 I also updated the
 [https://gist.github.com/4e6/5ef65efdb309daa373a928ec36404fd7 gist] with
 ''-ddump-simpl-stats'' output for all three ghc versions. Total ticks
 number for ghc-8.3 is similar to ghc-7.10.3 value.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14338#comment:10>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

GHC - devs mailing list
In reply to this post by GHC - devs mailing list
#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
        Reporter:  dredozubov        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by 4e6):

 I ran git bisect between {{{ghc-8.2.1-release}}} and {{{master}}}, and the
 first commit that doesn't have the issue is
 [https://git.haskell.org/ghc.git/commitdiff/33452dfc6cf891b59d63fa9fe138b18cbce4df81
 33452dfc6c Refactor the Mighty Simplifier]. Is there a chance to include
 these changes into the upcoming {{{ghc-8.2.2}}} release?

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14338#comment:11>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

GHC - devs mailing list
In reply to this post by GHC - devs mailing list
#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
        Reporter:  dredozubov        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by 4e6):

 Ugh, that's not all. I tried to build our (big) project with
 [https://git.haskell.org/ghc.git/commitdiff/33452dfc6cf891b59d63fa9fe138b18cbce4df81
 33452dfc6c Refactor the Mighty Simplifier] GHC revision and it was still
 failing. So, I returned to the test example and was able to trigger the
 issue on GHC {{{master}}} branch by [https://github.com/4e6/webapp-
 template-hs/commit/d15ef703a61fd98202e475bff60609d0dd072f50 implementing
 some methods] and slightly increasing reader size.

 **Summary**

 [https://github.com/4e6/webapp-template-hs/tree/simpl-tick-factor webapp-
 template-hs] branch ''simpl-tick-factor''\\
 Builds with {{{ghc-7.10.3}}}\\
 Fails with {{{ghc-8.2.1}}} and {{{master}}} branch\\
 [https://gist.github.com/4e6/5ef65efdb309daa373a928ec36404fd7 gist] with
 updated ''-ddump-simpl-stats'' output

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14338#comment:12>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets