Re: [Haskell] A puzzle and an annoying feature

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