Re: [GHC] #13216: internal error: stg_ap_pppppp_ret

1 Feb 2017

      #13216: internal error: stg_ap_pppppp_ret
-------------------------------------+-------------------------------------
        Reporter:  lerkok            |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:
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 lerkok):

 @goldfire: Thanks! Lint indeed finds an issue:

 {{{
 ghc: panic! (the 'impossible' happened)
   (GHC version 8.0.1 for x86_64-unknown-linux):
           *** Stg Lint ErrMsgs: in Stg2Stg ***
   <no location info>: warning:
        [RHS of help2 :: [([Char], [Char], [Char])]]
       In a function application, function type doesn't match arg types:
       Function type:
           [Char]
           -> ((State
                -> Exp -> State# RealWorld -> (# State# RealWorld, State
 #)) :: *)
              ~R#
              ((State -> Exp -> IO State) :: *) =>
              [Char]
              -> [Char]
              -> [([Char],
                   (State -> Exp -> IO State, State -> [Char], [Char] ->
 [Completion],
                    [Char], [Char]))]
              -> [([Char], [Char], [Char])]
       Arg types:
           [Char]
           (() :: *) ~# (() :: *)
           [Char]
           [Char]
           [(String,
             (State -> Exp -> IO State, State -> String, String ->
 [Completion],
              String, String))]
       Expression:
           help_$sgo
               settables92 coercionToken# settables81 settables80
 settables1
 }}}

 I've created a gist for the whole output (which is quite large):
 https://gist.github.com/LeventErkok/55aa19176d6adeb48eef56f39019c202

 Is it the second argument that's having an issue here? Perhaps I'm reading
 it wrong.

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