simonpj at microsoft.com
Mon Sep 15 04:55:47 EDT 2008
| > So that's the story. If you find situations in which it's very hard to give a signature for
| the result type, I'd like to see them.
| I find that usually when it becomes difficult is when I'm using
| existential types and lexically scoped type variables.
| I wish I had a concrete example to show you. I guess the next time it
| shows up I should send it in.
Yes, please do! I'm always interested in bad type error messages.
More information about the Glasgow-haskell-users