[Haskell] A puzzle and an annoying feature

[Lennart Augustsson]

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