#3177: support quasiquoting for types
-----------------------------+----------------------------------------------
Reporter: claus | Owner:
Type: feature request | Status: new
Priority: normal | Component: Compiler
Version: 6.11 | Severity: normal
Keywords: | Testcase:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
-----------------------------+----------------------------------------------
Currently, quasiquotes are limited to patterns and expressions, though
patterns and expressions with explicit type signatures can be generated
(with appropriate language flag for pattern signatures).
Since so much of Haskell programming happens at the type level, it would
be great if quasiquoting wasn't excluded from that part of the game (think
type-level numbers, for instance, or any type-level library that requires
constants translated into types).
For just one example, see http://www.haskell.org/pipermail/haskell-
cafe/2009-April/059819.html , where I would like to be able to specify
label types and type tags directly at the type-level as well.
related: #1476 (Template Haskell won't address this in the near future, so
having quasiquotes for types would narrow the gap)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3177>
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
