[Haskell-cafe] partial type annotations

[Jean-Marie Gaillourdet]

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-extensions.html#pattern-type-sigs
> 
> 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