GHC 6.10.1 type puzzler

Dave Bayer bayer at cpw.math.columbia.edu
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!"

Dave

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:
> http://www.haskell.org/ghc/docs/latest/html/users_guide/other-type-extensions.html#scoped-type-variables



More information about the Glasgow-haskell-users mailing list