Re: [Haskell-cafe] [Long] 'Fun' with types

On Thu, Sep 3, 2009 at 6:34 PM, Maciej Piechotka wrote:

I'm somehow experimenting with GADT. I'm implementing FRP system and I get such error:    Occurs check: cannot construct the infinite type: a = (a, b)    In the pattern: CircuitSplit f g    In the definition of `createChannel':        createChannel (CircuitSplit f g)                        = let                            (df, cf) = createChannel f                            (dg, cg) = createChannel g                            ....                          in                            (df <<< dg,

Should that be "df *** dg"? -- Dave Menendez http://www.eyrie.org/~zednenem/