This file gives me the error "Cycle in type synonym declarations" Can
anyone tell me why? I'm just trying to write a function to create a
type that is a FooT with the type parameter fixed.
{-# LANGUAGE TemplateHaskell #-}
import Language.Haskell.TH (Q, Dec, TypeQ)
data FooT a = FooT a
foo :: T
Hi,
In this case, you have two 'FooT' names: one is the Type and the other
is the Constructor. Perhaps Template Haskell is capturing the wrong
one inside the quote (probably the constructor). When you have name
shadowing, you should always use a lookup function. You can find
these lookup functi
On Tue, Aug 20, 2013 at 5:00 PM, David Fox wrote:
> This file gives me the error "Cycle in type synonym declarations" Can
> anyone tell me why? I'm just trying to write a function to create a
> type that is a FooT with the type parameter fixed.
>
> {-# LANGUAGE TemplateHaskell #-}
> import Langu
On Tue, Aug 20, 2013 at 2:35 PM, adam vogt wrote:
> On Tue, Aug 20, 2013 at 5:00 PM, David Fox wrote:
>> This file gives me the error "Cycle in type synonym declarations" Can
>> anyone tell me why? I'm just trying to write a function to create a
>> type that is a FooT with the type parameter fi
RL.) Geoff has made
the change... it just needs to be merged in.
Simon
| -Original Message-
| From: Haskell-Cafe [mailto:haskell-cafe-boun...@haskell.org] On Behalf Of
David
| Fox
| Sent: 20 August 2013 22:00
| To: Haskell Cafe
| Subject: [Haskell-cafe] What am I missing? Cycle in