#3177: support quasiquoting for types
---------------------------------+------------------------------------------
Reporter: claus | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: 6.12 branch
Component: Compiler | Version: 6.11
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
---------------------------------+------------------------------------------
Comment (by claus):
Replying to [comment:1 igloo]:
> Quasi quotes as in the QuasiQuotes extension,
Yes. The example uses TH-generation of type synonyms as a (partial)
workaround - what is needed instead is the ability to say things like
{{{
instance HasField () label [$l| TFalse |]
label = [$l| myLabel |] :: [$l| myLabel |]
}}}
> not TemplateHaskell (which already has them), I assume.
Whatever makes you think so? See the related ticket I linked to (reported
by someone you might know?-).
The [http://www.haskell.org/ghc/docs/latest/html/users_guide/template-
haskell.html TH documentation] is rather confusing there, as 7.9.1 first
describes the syntax for type quotations, and only later states that type
splices aren't implemented.. (unless #1476 has been fixed without closing,
the documentation should probably point to it)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3177#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
