Yes, when *inferring* types GHC defers context reduction as long as
possible. Reason: the call site of the function may see more instance
declarations (e.g. in particular, overlapping ones), so doing reduction
later may yield a different answer.
When checking the inferred type against a
Yes, lazy type-class resolution is a known GHC feature - and in my
opinion much superior to Hugs stict type class resolution. Hugs
can get confused with overlapping instances and will choose the
wrong instance because it commits too early. GHC does not suffer
from this.
Keean.
On Fri, Aug 13, 2004 at 09:03:53AM +0100, Simon Peyton-Jones wrote:
Yes, when *inferring* types GHC defers context reduction as long as
possible. Reason: the call site of the function may see more instance
declarations (e.g. in particular, overlapping ones), so doing reduction
later may yield
If I wanted to experiment with instance selection, which part of
GHC do I want to be looking at?
Keean
___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
On 13 August 2004 14:04, Remi Turk wrote:
How do you arrange to free a GMP integer when it is no longer
referenced from the heap? You'd need finalizers, and that way lies
madness. The memory allocation tricks we play with GMP are all to
support GC of Integers.
Errr, I guess I'll have to
When I Control-C to stop a running program, I get:
recomputeLambdaProb: internal error: main thread has been GC'd
Please report this as a bug to [EMAIL PROTECTED],
or http://www.sourceforge.net/projects/ghc/
which I understand, but is a bit odd...IIRC this is new...is there any
reason
just checked out the CVS ghc to play with instance
resolution - however:
fptools/mk/config.h.in
seems to be missing and nothing can be built.
Keean.
___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
Simon Marlow wrote:
OTOH, the core problem with Network.recvFrom is essentially that it
appears to be a misguided attempt to provide a symmetric counterpart
to Network.sendTo. While the low-level sendTo/recvFrom functions may
be roughly symmetric, at a higher level, the client and server
K P SCHUPKE writes:
fptools/mk/config.h.in
seems to be missing and nothing can be built.
Run autoreconf -i in the checked-out copy of the
repository to generate the dependent files.
Peter
___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]