#7323: decoding GADTs gives internal error: stg_ap_v_ret ---------------------------+------------------------------------------------ Reporter: heisenbug | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Linux | Architecture: x86_64 (amd64) Failure: Runtime crash | Testcase: yes Blockedby: | Blocking: Related: | ---------------------------+------------------------------------------------ May be related to #4987, but this time I have a reproducible case.
So far I found out that the `%INFO_TYPE(%STD_INFO(info))` in `stg_ap_v` is 4 (==`CONSTR_2_0`) just before barfing. The unsafe cast is just to generalize to the return type, but seem to be crucial. When I make `TypedPair` unparametrized or remove the TPInt constructor (but remaining a GADT), the crash goes away. The problem does not happen with GHCi (with this testcase), but I have seen the same crash in GHCi too with a more involved code example. I compiled vanilla: `ghc internal-error.lhs; ./internal-error` I did not test with older compilers. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7323> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs