bug report

[Marc van Dongen]

Hi there,


ghc-2.0499999999999998, complains about list-comprehensions
when compiling the following. There's probably some
code-transformation going on here.

> module Strange( strange ) where

> strange :: (a,a,a) -> a
> strange triple
>   | (first triple) == (fst triple) = first triple

> first :: (a,b,c) -> a
> first (a,b,c)
>   = a

Stange.lhs:5: Couldn't match the type
               `PrelTup.(,,) tazz' against `PrelTup.(,)'
    Expected: `(tazz, tazz, tazz)'
    Inferred: `(tazz, tazN)'
    In a list-comprehension qualifer:
        `(first triple) PrelBase.== (PrelTup.fst triple)'

Hope this helps,




Marc van Dongen
[EMAIL PROTECTED]