GHC 6.10.1 type puzzler

Dave Bayer bayer at
Wed Nov 19 13:28:41 EST 2008

Thanks all. Sorting this out for my actual code was a bit harder, but  
it worked. The manual sure wasn't kidding when it said

	"Read this section carefully!"


On Nov 19, 2008, at 12:12 PM, Malcolm Wallace wrote:

> You need to turn on {-# ScopedTypedVariables #-}.

On Nov 19, 2008, at 12:15 PM, Daniil Elovkov wrote:

> If you really want to specify the type for a local declaration,  
> you'll have to turn on ScopedTypeVariables.

On Nov 19, 2008, at 12:29 PM, Chung-chieh Shan wrote:

> To write the signature for "go" inside "test2", you need lexically
> scoped type variables:

More information about the Glasgow-haskell-users mailing list