#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 rwbarton): The panic indicates that you tried to apply something that wasn't a function (to six arguments). A likely cause is heap corruption, possibly due to a misbehaving FFI function or something of that sort. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13216#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#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 rwbarton): You can also try building with `-debug` (purely a linktime option, no need to recompile any modules) and run with `+RTS -DS`, which will turn on various runtime sanity checks which might find the issue sooner. See Debugging/RuntimeSystem. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13216#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#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

#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): Just wanted to drop a note here: I'm still trying to create a minimal example that I can share for the experts to look at. Unfortunately, my attempts so far failed: Any meaningful reduction of the code and the lint- error goes away. I haven't given up however; and I'm hopefull I'll be able to share something next week. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13216#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#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 dobenour): Are you using any GHC primops, or functions with names that begin with `unsafe`? Those functions could easily corrupt the heap if misused. In particular, are you using `unsafeCoerce` anywhere? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13216#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler