| I understand that. I think it's unrelated to my problem however.
| moduleName_maybe, the function that's supposed to give me the module
| of a Name returns Nothing for all locally defined names. My guess is
| that these Names aren't made fully qualified until some later stage.
I think there is a danger of speaking at cross purposes here.
In the example I sent, you can see that the module name is printed, in the
output of the renamer, typechecker, and desugarer. (You need -dppr-debug to
see this in the -ddump-tc output, for reasons I mentioned; perhaps that should
be changed.)
I would be very surprised if nameModule_maybe returned Nothing for a Name that
printed with its module name. Yet it appears that you are saying that
a Name that prints with its module name with -ddump-ds or -ddump-tc
replies to nameModule_maybe with Nothing
I don't understand that.
I suppose that the only way to do so is for Johan to send a reproducible test
case; or perhaps I have misunderstood the question.
Simon
_______________________________________________
ghc-devs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-devs
