
#9208: panic - attempt to prod-split strictness call demand C(S(C(C(S(LS))))) -------------------------------------------------+------------------------- Reporter: luite | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: stranal/should_compile/T9208 | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by luite): Yes, in my real code I'm not quite doing this, but since it's part of the ghcjs-prim package I had to remove some code (`foreign import javascript`) that's not supported by normal GHC. The actual `loadTHData` would do some JavaScript runtime calls to load the code in the `ByteString`, initialise the info tables and then return a closure of the expected type. It's part of my work to decouple Template Haskell from the GHC process and thus the host platform. GHC sets up a connection to a TH service and incrementally sends compiled code (target architecture) to it, the TH service can query GHC for reification. For GHCJS this is a node.js server, but when when my proof of concept works, I'll ask on ghc-devs if there's interest in extending this for general cross compilation in GHC. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9208#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler