RE: Lazy type-class resolution

2004-08-13 Thread Simon Peyton-Jones
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

Re: Lazy type-class resolution

2004-08-13 Thread MR K P SCHUPKE
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.

Re: Lazy type-class resolution

2004-08-13 Thread Tomasz Zielonka
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

RE: Closed Classes...

2004-08-13 Thread MR K P SCHUPKE
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

RE: GHCI/FFI/GMP/Me madness

2004-08-13 Thread Simon Marlow
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

main thread GC'd on ^C

2004-08-13 Thread Hal Daume III
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

GHC CVS build...

2004-08-13 Thread MR K P SCHUPKE
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]

RE: Network, sClose

2004-08-13 Thread Glynn Clements
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

Re: GHC CVS build...

2004-08-13 Thread Peter Simons
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]