[GHC] #1444: Template Haskell: add proper support for qualified
names in non-splicing applications
GHC
trac at galois.com
Wed Jun 20 22:34:17 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 | Keywords:
Difficulty: Unknown | Os: Unknown
Testcase: | Architecture: Unknown
-------------------------------+--------------------------------------------
For the uninitiated, Derive is an application of Template Haskell that can
generate external Haskell code (depending on how you use it) instead of
having it spliced into a module. Template Haskell was not designed for
this, and it shows in the handling of qualified names. For example:
{{{
Prelude> '[]
GHC.Base.[]
Prelude> 'True
GHC.Base.True
Prelude> '(*)
GHC.Num.*
Prelude Data.Array.Unboxed> ''UArray
Data.Array.Base.UArray
}}}
It would be nice if Template Haskell could instead use public names, where
available, so that Derive and similar tools would be able to use qualified
names (and the quoting syntax without fear of their ending up pointing
into the middle of no-mans-land, or even GHC-only land.
This would also mean that users of Derive via TH splicing wouldn't need to
import so many modules that the derivings depend on.
--
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