[Haskell-cafe] partial type annotations
jmg at gaillourdet.net
Fri Jan 20 10:49:46 CET 2012
On 20.01.2012, at 09:30, Paul R wrote:
>> 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
> 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
In current GHC version PatternSignatures is deprecated and instead integrated into ScopedTypeVariables.
More information about the Haskell-Cafe