[Haskell-cafe] partial type annotations

Jean-Marie Gaillourdet jmg at gaillourdet.net
Fri Jan 20 10:49:46 CET 2012


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.
> 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.


More information about the Haskell-Cafe mailing list