19 Nov
2008
19 Nov
'08
1:28 p.m.
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-extension...