[GHC] #12103: Typed Template Haskell missing utilities provided by untyped variant
GHC
ghc-devs at haskell.org
Mon May 23 11:04:26 UTC 2016
#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
More information about the ghc-tickets
mailing list