ghc-hugs progress/status?

2000-03-29 Thread Jens-Ulrik Petersen
It seems a while since we had any news of recent ghc developments. For those of us who're not following the cvs archive, could the maintainers give us a brief summary of recent progress on the ghc-hugs "marriage" and other recent ghc work? Thanks, Jens

Re: RFC: Overloaded arrays

2000-03-29 Thread Jan-Willem Maessen
Plus ca change... I advocated overloaded array operations in similar manner some years back among pH enthusiasts---this being years before functional dependencies, though, the multiparameter type classes worked only in the pH compiler. :-) (I recall audible complaints from Simon P-J among others.

RE: RFC: Overloaded arrays

2000-03-29 Thread Simon Marlow
> Some commented type signatures in MArray interface mention ST instead > of the generic monad. Signatures of MArray class operations have > "a s ix e" instead of "a ix e". Oh, thanks. As you can see, I've been through a few iterations with the design already :) > A proposal to resolve name cla

Re: RFC: Overloaded arrays

2000-03-29 Thread Marcin 'Qrczak' Kowalczyk
Wed, 29 Mar 2000 04:52:17 -0800, Simon Marlow <[EMAIL PROTECTED]> pisze: > I'd like to solicit some comments on the following proposal for > generalising GHC's various array mechanisms. _ || / \ || | | /\ | ( ) | /\ | | |/ \| \_/ |/ \| . Some commented type signatures

Re: RFC: Overloaded arrays

2000-03-29 Thread Chris Okasaki
Simon Marlow wrote: > Actually, I'm slightly concerned about your use of small arrays: the static > (one-off) cost of allocating an array is quite high compared to eg. tuples > or records. Are arrays the only solution here? You're right of course that arrays are quite expensive, but it is not c

RE: RFC: Overloaded arrays

2000-03-29 Thread Simon Marlow
> My main comment is please don't ignore a simple update operation > on immutable arrays, with a type something like > update :: Ix ix => a ix e -> ix -> e -> a ix e > I don't care about the name but I do care about the functionality. > I'm perfectly happy with the naive, dirt simple, O(n) imple

Re: RFC: Overloaded arrays

2000-03-29 Thread Chris Okasaki
Simon Marlow wrote: > class HasBounds a => IArray a e where > (!) :: Ix ix => a ix e -> ix -> e > array :: Ix ix => (ix,ix) -> [(ix,e)] -> a ix e > > class (Monad m, HasBounds a) => MArray a e m where > read:: Ix ix => a ix

RE: Compiling fptools

2000-03-29 Thread Simon Marlow
> How can I build fptools suite on system without Haskell installed ? > (I'm using Linux-x86 system but prefer to compile everything myself). > > I've build ghc configured with --enable-hc-boot; but when I try to > configure it without this switch to build the hi files (as described > in the manu

Compiling fptools

2000-03-29 Thread Roman Belenov
How can I build fptools suite on system without Haskell installed ? (I'm using Linux-x86 system but prefer to compile everything myself). I've build ghc configured with --enable-hc-boot; but when I try to configure it without this switch to build the hi files (as described in the manual), I get m

Re: Overloaded arrays

2000-03-29 Thread Simon Marlow
forgot the attachments... begin 600 ArrayBase.hs M+2TM+2TM+2TM+2TM+2TM+2TM+2TM+2TM+2TM+2TM+2TM+2TM+2TM+2TM+2TM M+2TM+2TM+2TM+2TM+2TM+2TM+2TM+2TM+2TM+2TM+2T*+2T@("1)9"0*+2T* M+2T@*&,I(%1H92!'2$,@5&5A;2`R,#`P"BTM"@IM;V1U;&4@07)R87E"87-E M('=H97)E"@II;7!O0II;7!O2!A(&4@=VAE"!I>"`]/B!A(&EX(&4@+3X@:7

RFC: Overloaded arrays

2000-03-29 Thread Simon Marlow
I'd like to solicit some comments on the following proposal for generalising GHC's various array mechanisms. The aims are twofold: - make it really easy to replace an existing (immutable) Array with a strict unboxed array type (i.e. just by changing the type