#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 goldfire): In case it wasn't clear, until I wrote comment:39, I thought this was all quite feasible and a nice plan. I just don't want you to think I led you down a garden path into a trap! But falling into traps is just part of software development, I suppose. I'm grateful for your time and good attitude as this proposal has become pear-shaped. There's one important thing to do before closing the ticket: record our discoveries somewhere. In particular, I think a Note in the code is in order about why things are the way they are. Might you find a good spot, summarizing our discoveries and linking to this ticket? It might also be worth putting a link to this ticket in the manual, in case an overinterested soul wanders by. You say you've updated the manual. Where? How? Are you a committer? Or is there a Phab patch? (Apologies if the answer to this is obvious. It's even possible I have reviewed your changes and applied them myself! I tend to be rather aggressive in deleting stale records in my brain of tasks having been accomplished. This habit may sometimes make me appear somewhat dense. Sorry!) Once all that's done, we (you should be able to) should close this as wontfix. Thanks again for your efforts here, and I'm sorry that they didn't lead to fruition. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9813#comment:42 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler