[GHC] #12596: can't find interface-file declaration
GHC
ghc-devs at haskell.org
Fri Sep 16 13:43:11 UTC 2016
#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
More information about the ghc-tickets
mailing list