#5959: GHC Panic: nameModule -------------------------------+-------------------------------------------- Reporter: mightybyte | Owner: pcapriotti Type: bug | Status: new Priority: high | Milestone: 7.4.2 Component: Compiler | Version: 7.4.1 Keywords: | Os: Linux Architecture: x86_64 (amd64) | Failure: Compile-time crash Difficulty: Unknown | Testcase: th/T5971 Blockedby: | Blocking: Related: | -------------------------------+-------------------------------------------- Changes (by simonpj):
* testcase: => th/T5971 Comment: New error message is: {{{ T5959.hs:8:1: The exact Name `b_aUU' is not in scope Probable cause: you used a unique name (NameU) in Template Haskell but did not bind it }}} This isn't as good as the new message in #5971, which is {{{ T5971.hs:6:7: The exact Name `x_aOV' is not in scope Probable cause: you used newName in Template Haskell but did not bind it In the result of the splice: $(newName "x" >>= varE) To see what the splice expanded to, use -ddump-splices In the expression: $(newName "x" >>= varE) In a pattern binding: _ = $(newName "x" >>= varE) }}} Sadly there is a reason that it's not quite as good in this case. In this case, #5959, there's a top-level declaration splice, which is renamed in a mutually recursive group with the declarations that follow. So this works: {{{ $(f 4) -- Expands to: h x = g (x-1) g x = h x }}} So the splice expands to a declaration that uses the declarations that follow the splice. I think it likely that this feature is never used, but it means that we can't wrap the helpful context info around when we rename the splice itself. Sigh. I'm going to leave the ticket open for now... maybe it would be better to rename and typecheck the result of a top-level splice all by itself? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5959#comment:7> 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