Re: [Haskell-cafe] partial type annotations

Hi,

x :: Integer <- instruction1 -- Require ScopedTypeVariables

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