#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): Replying to [comment:42 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.
Indeed so that hidden traps are part of software development - thanks for helping me down (what appeared to be) a sensible path!
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.
Good idea, I'll try and do that this evening.
You say you've updated the manual. Where? How? Are you a committer? Or is there a Phab patch?
Yes, there's a Phab patch - see https://phabricator.haskell.org/D1899 - I 'think' I don't need to do anything further with that patch, correct? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9813#comment:43 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler