[GHC] #12843: Simplifier ticks exhausted When trying UnfoldingDone $

[GHC]

#12843: Simplifier ticks exhausted When trying UnfoldingDone $
-------------------------------------+-------------------------------------
        Reporter:  MikolajKonarski   |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:
 Type of failure:  Compile-time      |  Unknown/Multiple
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #12776 #12789     |  Differential Rev(s):
  #12675                             |
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 I wanted to start with HEAD, but I get
 {{{
 Resolving dependencies...
 Configuring parsec-3.1.11...
 Configuring template-haskell-2.11.0.0...
 Building template-haskell-2.11.0.0...
 Building parsec-3.1.11...
 Failed to install template-haskell-2.11.0.0
 Build log ( /home/simonpj/.cabal/logs/template-haskell-2.11.0.0.log ):
 cabal: Entering directory '/tmp/cabal-tmp-16852/template-haskell-2.11.0.0'
 Configuring template-haskell-2.11.0.0...
 Building template-haskell-2.11.0.0...
 Preprocessing library template-haskell-2.11.0.0...

 Language/Haskell/TH/Lib.hs:487:2: error:
      error: #error Remove deprecated familyNoKindD, familyKindD,
 closedTypeFamilyNoKindD and closedTypeFamilyKindD
 `gcc' failed in phase `C pre-processor'. (Exit code: 1)
 cabal: Leaving directory '/tmp/cabal-tmp-16852/template-haskell-2.11.0.0'
 Failed to install parsec-3.1.11
 Build log ( /home/simonpj/.cabal/logs/parsec-3.1.11.log ):
 cabal: Entering directory '/tmp/cabal-tmp-16851/parsec-3.1.11'
 Configuring parsec-3.1.11...
 Building parsec-3.1.11...
 Preprocessing library parsec-3.1.11...
 [ 1 of 25] Compiling Text.Parsec.Pos  (.hs -> .o)
 [ 2 of 25] Compiling Text.Parsec.Error (.hs -> .o)
 [ 3 of 25] Compiling Text.Parsec.Prim (.hs -> .o)
 [ 4 of 25] Compiling Text.Parsec.Combinator (.hs -> .o)
 [ 5 of 25] Compiling Text.Parsec.Expr (.hs -> .o)
 [ 6 of 25] Compiling Text.Parsec.Char (.hs -> .o)
 [ 7 of 25] Compiling Text.Parsec.ByteString.Lazy (.hs -> .o)
 [ 8 of 25] Compiling Text.Parsec.ByteString (.hs -> .o)
 [ 9 of 25] Compiling Text.Parsec      (.hs -> .o)
 [10 of 25] Compiling Text.Parsec.Perm (.hs -> .o)
 [11 of 25] Compiling Text.Parsec.String (.hs -> .o)
 [12 of 25] Compiling Text.Parsec.Text (.hs -> .o)
 [13 of 25] Compiling Text.Parsec.Text.Lazy (.hs -> .o)
 [14 of 25] Compiling Text.Parsec.Token (.hs -> .o)

 Text/Parsec/Token.hs:524:27: error:
     • Could not deduce (Stream s m t0) arising from a use of ‘option’
       from the context: Stream s m Char
         bound by the type signature for:
                    makeTokenParser :: Stream s m Char =>
                                       GenLanguageDef s u m ->
 GenTokenParser s u m
         at Text/Parsec/Token.hs:(351,1)-(352,63)
       The type variable ‘t0’ is ambiguous
       Relevant bindings include
         decimalFloat :: ParsecT s u1 m (Either Integer Double)
           (bound at Text/Parsec/Token.hs:523:5)
         fractFloat :: forall b a1 u a2.
                       (Read b, Show a2) =>
                       a2 -> ParsecT s u m (Either a1 b)
           (bound at Text/Parsec/Token.hs:528:5)
         fractExponent :: forall a1 u a2.
                          (Show a2, Read a1) =>
                          a2 -> ParsecT s u m a1
           (bound at Text/Parsec/Token.hs:532:5)
         fraction :: forall u. ParsecT s u m [Char]
           (bound at Text/Parsec/Token.hs:546:5)
         exponent' :: forall u. ParsecT s u m [Char]
           (bound at Text/Parsec/Token.hs:552:5)
         int :: forall u. ParsecT s u m Integer
           (bound at Text/Parsec/Token.hs:561:5)
         reservedOp :: String -> ParsecT s u m ()
           (bound at Text/Parsec/Token.hs:590:5)
         (Some bindings suppressed; use -fmax-relevant-binds=N or -fno-max-
 relevant-binds)
       These potential instances exist:
         instance [safe] Monad m => Stream [tok] m tok
           -- Defined at Text/Parsec/Prim.hs:385:10
         ...plus four instances involving out-of-scope types
         (use -fprint-potential-instances to see them all)
     • In a stmt of a 'do' block: option (Left n) (fractFloat n)
       In the expression:
         do { n <- decimal;
              option (Left n) (fractFloat n) }
       In an equation for ‘decimalFloat’:
           decimalFloat
             = do { n <- decimal;
                    option (Left n) (fractFloat n) }
 }}}
 My HEAD has `template-haskell` installed, so I'm not sure why it's trying
 to install a different version.  Nor do I understand the error in
 `parsec`.

 I guess I can try with the `8.0 branch`.

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