Somewhere in the back of my mind, I recall seeing a patch to Hugs 1.4
go by that corrected an error where the type checker "lost context";
i.e., was unable to determine class membership of type variables when
such membership is readily determinable. If this sounds familiar to
anyone, could you Email me the patch?
On the other hand, if this is new, is there a location to which I
could upload a gzipped tar file with the reproducable bug? It's a bit
big to attach to the message, and I just don't have time to carve it
down to the smallest reproducible subset.
Thanks to all for any response.
Dave Barton <*>
[EMAIL PROTECTED] )0(
http://www.intermetrics.com/~dlb
