[Haskell-cafe] PatternSignatures (rant)

[Henning Thielemann]

On Wed, 8 Apr 2009, Johannes Waldmann wrote:

> Dear all, (this is a rant - please ignore)
>
> why has "PatternSignatures"
> been renamed to "ScopedTypeVariables" (in ghc-6.10)?
>
> show me the alleged "type variable" in this code:
> do x :: Int <- [ 1 .. 10 ] ; return $ x^2
>
> and why on earth do I need to use a language extension at all
> to get to the most basic thing of declarative programming:
> to declare the type of an identifier?

This would work:
   do x <- [ 1 .. 10 ] ; return $ (x::Int)^2

but I assume, that you want to declare the type on binding, right?