[Haskell-cafe] MPTCs and rigid variables

[Isaac Dupree]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1


> too complicated? more explanation isn't always more helpful. the user is
> confused
> at this point, and more information might mean more confusion.

That is true, but my experience is that when an error message perplexes
me I need all the suggestions I can get from more error messages.
Sometimes a Hugs error has helped me more than a GHC error, and
sometimes the other way around.  Type inference is complicated and
doesn't know where your mistake is, so it may be best to point out
several views of the problem in case one of them makes sense.

(of course it could also be that I was writing programs that were too
complicated for me to understand, as I was still learning good style in
Haskell :))

Isaac
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.3 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFF7fc7HgcxvIWYTTURArAFAKDGCu6KwtCLen/UBj0FcS7LdKabKgCgknms
deZzzGy0uFDPMoXxJMLPVF4=
=inId
-----END PGP SIGNATURE-----