[Haskell-cafe] Solved but strange error in type inference

Yucheng Zhang yczhang89 at gmail.com
Tue Jan 3 13:24:56 CET 2012


On Tue, Jan 3, 2012 at 7:49 PM, Yucheng Zhang <yczhang89 at gmail.com> wrote:
> I found some descriptions of ScopedTypeVariables here:
>
> http://hackage.haskell.org/trac/haskell-prime/wiki/ScopedTypeVariables

Sorry, I found just now a more up-to-date description in the GHC documentation:

http://www.haskell.org/ghc/docs/latest/html/users_guide/other-type-extensions.html#scoped-type-variables



More information about the Haskell-Cafe mailing list