[GHC] #1444: Template Haskell: add proper support for qualified
names in non-splicing applications
GHC
trac at galois.com
Fri Jun 29 07:21:48 EDT 2007
#1444: Template Haskell: add proper support for qualified names in non-splicing
applications
---------------------------------+------------------------------------------
Reporter: SamB | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Template Haskell | Version: 6.6.1
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Os: Unknown | Testcase:
Architecture: Unknown |
---------------------------------+------------------------------------------
Comment (by Isaac Dupree):
CANONICAL would also mean, what if someone converted over to using some
FixedPrelude which also exports map, or believed map should only come from
Data.List and never imported it from any Prelude... I don't think it's
very good to add the notion of a canonical location to Haskell. (of course
the notion it's replacing is physical-definition-location, another notion
that isn't supposed to exist in Haskell :-P)
What if there is some separate (customizable? extensible?) file that is
just a mapping from raw names to other names? Sequencing them could
transform GHC.Base.map -> Prelude.map -> FixedPrelude.map ... Seems
possibly a maintenance nightmare for GHC developers at least...
If Derive knows exactly what module it's splicing into (meaning, what that
module already imports), could it just look through all imported symbols
until it finds one that refers to the same "map" (and fail if it can't
find one)?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1444>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
More information about the Glasgow-haskell-bugs
mailing list