#9813: Error when reifying type constructor -------------------------------------+------------------------------------- Reporter: owst | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D1899 Wiki Page: | -------------------------------------+------------------------------------- Comment (by owst): I can confirm that with `$(return [])` the code compiles on 7.8.3 and 7.10.3. My issue is that the `$(return [])` trick seems to be just that, a trick, required to make GHC accept a program that naively appears reasonable. I was hoping to be able to make a (small, I thought) change to GHC to allow this program to work without the trick. I know this isn't the most-important issue, but I was hoping to find a small ticket to work on as a first go at hacking on GHC that a) I understand the need for (albeit perhaps minor!), and b) is reasonably small, so I don't bite off more than I can chew. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9813#comment:36 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler