Of course it can.  I might do it myself.  :)

        -- Lennart

Keean Schupke wrote:
I have already asked Simon PJ if this can be implemented in GHC... So if more people
ask for it, it might get done!


   Keean

Lennart Augustsson wrote:

Here is a small puzzle.

-- The following generates a type error:
f :: Char -> Char
f c =
    let x = g c
    in  h x

-- But this definition does not:
f :: Char -> Char
f c =
    let x :: Bool
    x = g c
    in  h x

_______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

Reply via email to