[Haskell-cafe] Using fundeps to resolve polymorphic types to concrete types

Pablo Nogueira pablo at babel.ls.fi.upm.es
Wed Jul 30 04:17:30 EDT 2008

> [0] wren at xenobia:~/test $ ghc --version
> The Glorious Glasgow Haskell Compilation System, version 6.8.2

I have an older version and wonder what goes wrong. Now that I think
of it, other stuff that I coudn't compile might actually work in 6.8
It does make sense that |b| is resolved to |B| because of the
functional dependency.

More information about the Haskell-Cafe mailing list