#12596: can't find interface-file declaration -------------------------------------+------------------------------------- Reporter: mwotton | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): An intermediate position, which I think I prefer, would be to define a type of "global" names, somthing like this {{{ data GlobalName = GN { gn_pkg :: PkgName , gn_mod :: ModName , gn_occ :: OccName } }}} and use that in `base`. Then a Template Haskell `Name` coudl be a `GlobalName`, but it could also be a number of other TH-specific forms which don't belong in `base`. Doing this would break some (but perhpas not many) TH clients. I'm not sure if it's worth it. Perhaps an intermediate position is to define `GlobalName` in `base` and use it in `Constr`, but not (yet) inflict it on TH. That's more like your "duplicate it" approach. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12596#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler