GpH & Mosix

2002-08-28 Thread Phil Trinder
Paul, The GdH implementation is currently used here, and is basically in beta-release form. If you would use it we could wrap up a and X86/Linux version for you. The GUM implementation of GpH and GdH uses very simple communication (mainly point to point, with a single barrier synchronisation,

Re: A: Evaluation order, ghc versus hugs, lazy vs. strict

2002-08-28 Thread Phil Trinder
Dear All, Hal's comments on the use of Evaluation Strategies for controlling strictness are substantially right, and they are used this way in Eden, a parallel Haskell. In Glasgow parallel Haskell(GpH) we use them to control parallel evaluation as well. The key reference is Algorithm + Stra

RE: ambiguous type variables in existential classes

2002-08-28 Thread Simon Peyton-Jones
Hal I don't quite understand the intuitions behind your program, but the bug is easy enough: | instance (Eq e, Foo p) => Foo (Wrap p) where | foo (Bar p) e q = foo p e q This instance declaration is guaranteed to give problems if it is ever used, and GHC should probably bleat about it. Suppo

RE: ugliness with state parameter in ST stuff

2002-08-28 Thread Simon Peyton-Jones
I don't know what you are trying to do, but I do know why your program is rejected. The *whole point* of a value of type (STArray s Int Int) is that it can only be read by a state thread with the same type parameter 's' as the array. Given your decls > class Foo a where > foo :: a -> IO Int

RE: difference between (evaluate . runST) and stToIO

2002-08-28 Thread Simon Peyton-Jones
They aren't identical. runST guarantees to run a complete state thread that can't interact with any other. stToIO runs some imperative actions that might interact with other stToIO calls. You might find it helpful to read 'State in Haskell' if you havn't already done so. Simon | -Origi

RE: GHC bug,or Hugs feature?

2002-08-28 Thread Simon Peyton-Jones
There are two things going on. 1. Hugs deals with mutual recursion in a more sophisticated way than GHC. Mark T is absolutely right, and the THIH paper explains. 2. Furthermore,GHC implements the H98 requirement that the context of all functions in a mutually recursive groups must be the same

Re: GpH & Mosix

2002-08-28 Thread paul
On Wed, Aug 28, 2002 at 10:46:34AM +0100, Phil Trinder wrote: > Paul, > > The GdH implementation is currently used here, and is basically in > beta-release form. If you would use it we could wrap up a and > X86/Linux version for you. That will be very sweet! I'd love to play with this thing ;-)

SAS'02 Call for Participation -- Early Registration: * September 3 *

2002-08-28 Thread SAS2002
[ Please Distribute -- Apologies for Receiving Multiple Copies ] [ CALL FOR PARTICIPATION: Early Registration Extended: * September 3 * ] [ EU funded student grants available ] -- CALL FOR PARTICIP

Welcome to Floralplanet.com- thanks for stopping By!

2002-08-28 Thread Visit Earth's Largest Garden today!
  Floralplanet.com http://www.floralplanet.com   Visit Earth's Largest Garden and see the Internets most spectacular one-stop super store for fresh flowers,  silks, gift baskets, batiks, art, and other exciting gifts !!Visit Planet Bouquets !Now at a Galaxy ne