Hi,
I am having trouble getting a small program to compile. The helpful folks at
#haskell created a version of the program that does compile -
http://hpaste.org/fastcgi/hpaste.fcgi/view?id=28406#a28408 but it is not
very clear to them (and to me) why the original program wouldn't type
compile in
I was one of the people on #haskell discussing this with Anupam.
Note that that when you remove the signature of d, the result complies and
ghci will state the inferred type of d is exactly the signature that you
are not allowed to write.
In my opinion, this is a bug in the Haskell 98 report
Yeah I recently ran into this myself. (
http://osdir.com/ml/haskell-cafe@haskell.org/2010-07/msg00020.html). It's
not a bug, just a limitation of haskell's inference algorithm for mutually
recursive groups of functions.
The problem is that haskell infers groups (the strongly connected
components)