Re: [Haskell-cafe] partial type annotations

Hi, On 20.01.2012, at 09:30, Paul R wrote:

Hi,

...

x :: Integer <- instruction1 -- Require ScopedTypeVariables

This is still enabled by the PatternSignatures extensions.

Indeed, that does require ScopedTypeVariables to be enabled, but this basic use case is not clearly covered in the ScopedTypeVariables documentation.

http://www.haskell.org/ghc/docs/latest/html/users_guide/other-type-extension...

Also, it is not clear to me why ScopedTypeVariables is required at all here, as Integer is a literal type and not a signature-bound type variable.

In current GHC version PatternSignatures is deprecated and instead integrated into ScopedTypeVariables. Jean