Re-CC'ing -cafe:
On 6 May 2010 12:54, Leonel Fonseca <leone...@gmail.com> wrote:
> I wasn't aware of GeneralizedNewtypeDeriving.
> I just edited the source file Language.Haskell.TH.Syntax
> and left:
>
> newtype Q a = Q { unQ :: forall m. Quasi m => m a }
> deriving Typeable
Hang on, is Q something actually in the template-haskell library? In
that case, you can't just do "deriving (Typeable)" .
However, you might be able to generate the Typeable instance using
DrIFT (see http://hackage.haskell.org/package/DrIFT-cabalized for a
cabal-install-able package).
--
Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com
IvanMiljenovic.wordpress.com
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
