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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
