ct: Re: Restricted Template Haskell
I would like to figure out how to improve the state of TTH documentation. The
GHC wiki is usually for things that are changing, and the page is written in
that future style, so it makes one wonder if all things are finished or if some
things remain unfinished
>> are. What bad things happen in the Q monad? Can you give examples of
>> reasoning that would be valid in level 1 but not in level 2. etc. More
>> precision please!
>>
>>
>>
>> Simon
>>
>>
>>
>> *From:* Glasgow-haskell-users [mailto:
>>
-boun...@haskell.org] *On Behalf Of *Greg Weber
> *Sent:* 30 January 2015 23:39
> *To:* ghc-d...@haskell.org; GHC users
> *Cc:* David Terei; Maxwell Swadling
> *Subject:* Restricted Template Haskell
>
>
>
> Hello GHC friends!
>
>
>
> I am starting up a proposal for variants of
More precision please!
Simon
From: Glasgow-haskell-users [mailto:glasgow-haskell-users-boun...@haskell.org]
On Behalf Of Greg Weber
Sent: 30 January 2015 23:39
To: ghc-d...@haskell.org; GHC users
Cc: David Terei; Maxwell Swadling
Subject: Restricted Template Haskell
Hello GHC friends!
I am st
On Fri, Jan 30, 2015 at 7:05 PM, adam vogt wrote:
> Hi Greg,
>
> Perhaps a less-invasive way to implement the -XSafe part of your
> proposal would be to provide a module like:
>
> module Language.Haskell.TH.Safe (
> module Language.Haskell.TH,
> reifyWithoutNameG,
> ) where
> import Languag
Hi Greg,
Perhaps a less-invasive way to implement the -XSafe part of your
proposal would be to provide a module like:
module Language.Haskell.TH.Safe (
module Language.Haskell.TH,
reifyWithoutNameG,
) where
import Language.Haskell.TH hiding (runIO, reify*)
where reifyWithoutNameG is the sa
Hello GHC friends!
I am starting up a proposal for variants of Template Haskell that restrict
what operations are available. The goal is to make TH easier for users to
reason about and to allow for an easier compilation story.
Here is the proposal page:
https://ghc.haskell.org/trac/ghc/wiki/Templ
