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