Well, I've found another place where Hugs and GHC differ. This one
seems to center around an ambiguity in the Report, and I have in the
back of my mind that I'm missing something.
I have a class of kind * -> * -> *, and want to make an instance of
this class for the "->" constructor. Hugs allows this, and (at least
according to the error message) GHC does not; it gives a "constructor
not in scope" error message when I try. The Report says that "->" is
an abstract constructor, and cannot be used to actually construct
values for the type; it says nothing about making instances using it.
Anyone have any advice here? Somewhere in the back of my mind is
something about an alias for "->" in GHC, but I can't pull it out. I
may be smoking funny weed here.
Dave Barton <*>
[EMAIL PROTECTED] )0(
http://www.intermetrics.com/~dlb
