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

[David Menendez]

On Thu, Sep 3, 2009 at 6:34 PM, Maciej Piechotka<uzytkownik2 at gmail.com> 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 <dave at zednenem.com>
<http://www.eyrie.org/~zednenem/>