#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: | ---------------------------+------------------------------------------------ Changes (by heisenbug):
* cc: ggreif@… (added) Comment: I found a pre-7.4 compiler: ghc-7.4.0.20111220 it emits: `internal-error: Impossible case alternative` The other compiler did not even typecheck the test case: {{{ ghc-7.5.20120713 internal-error.lhs [1 of 1] Compiling Main ( internal-error.lhs, internal-error.o ) internal-error.lhs:39:23: Couldn't match type `BL.ByteString' with `bytestring-0.10.0.0:Data.ByteString.Lazy.Internal.ByteString' Expected type: [ByteString] -> bytestring-0.10.0.0:Data.ByteString.Lazy.Internal.ByteString Actual type: [ByteString] -> BL.ByteString In the second argument of `(.)', namely `BL.fromChunks' In the expression: decode . BL.fromChunks In an equation for `decodeAs': decodeAs = decode . BL.fromChunks internal-error.lhs:45:41: Couldn't match expected type `BL.ByteString' with actual type `bytestring-0.10.0.0:Data.ByteString.Lazy.Internal.ByteString' In the first argument of `BL.toChunks', namely `lazy' In the second argument of `($)', namely `BL.toChunks lazy' In the expression: decodeAs $ BL.toChunks lazy }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7323#comment:1> 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