[GHC] #12103: Typed Template Haskell missing utilities provided by untyped variant

[GHC]

#12103: Typed Template Haskell missing utilities provided by untyped variant
-------------------------------------+-------------------------------------
        Reporter:  bgamari           |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.2.1
       Component:  Template Haskell  |              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:                    |
-------------------------------------+-------------------------------------
Description changed by bgamari:

@@ -9,1 +9,1 @@
- trueT, false :: TExpQ Bool
+ trueT, falseT :: TExpQ Bool
@@ -11,0 +11,5 @@
+
+ Names still need bike-shedded.
+
+ Of course, another reasonable option would just be to rather push users to
+ instead use quotes.

New description:

 Currently typed TH feels a bit second-class as it lacks a number of handy
 utilities which are provided in the untyped case. In my brief look at this
 I encountered the following,

 {{{#!hs
 type TExpQ a = Q (TExp a)

 stringT :: String -> TExpQ String
 trueT, falseT :: TExpQ Bool
 }}}

 Names still need bike-shedded.

 Of course, another reasonable option would just be to rather push users to
 instead use quotes.

--

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12103#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler