RE: 6.4 snapshot installer available

2005-03-02 Thread Mike Thomas
Hi Sigbjorn.

| http://www.haskell.org/ghc/dist/stable/dist/ghc-6-4-20050301.msi
|   (md5.sig: 0f3be1a0c211194415b2cb8ee579f6e1 ; size: 46M)

Thanks as usual.

I built CVS head GHC with this package and mucked around a little bit.  The
only problem I've come across so far is that an objectio library application
I have crashes on take-off when built with this compiler (not necessarily to
do with objectio of course).  It does not crash with GHC 6.2.1

I'll doubt that I'll be able to break out the debugger on this one for a
while  so that may have to miss the 6.4 bus I'm afraid.

Cheers

Mike Thomas.


___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


RE: GHC 6.4 release candidates available

2005-03-02 Thread Ralf Lammel
It also worked in 6.2
Before that I don't remember.
It is a very sensible thing to do
simply because the mere ghci prompt suggests that
we are in the scope of the top-level module.
So one would really expect that ghci honors the
directives of the top-level module.

Ralf

> -Original Message-
> From: Keean Schupke [mailto:[EMAIL PROTECTED]
> Sent: Wednesday, March 02, 2005 9:20 AM
> To: Simon Peyton-Jones
> Cc: Ralf Lammel; glasgow-haskell-users@haskell.org
> Subject: Re: GHC 6.4 release candidates available
> 
> In the past having:
> 
> {-# OPTIONS -fallow-overlapping-instances #-}
> 
> in a module was enough to get ghci to allow the overlaps.
> 
> so we do:
> 
> ghci Test.hs
> 
> now it does not work (but it did in 6.3), but:
> 
> ghci -fallow-overlapping-instances Test.hs
> 
> does... Even it Test.hs is the top level module.
> 
> Keean.
> 
> Simon Peyton-Jones wrote:
> 
> >Ralf
> >
> >You have a pragma "-fallow-overlapping-instances" in Test.hs, and
indeed
> >it is honoured when compiling Test.hs.  But it's not taken into
account
> >when compiling top-level expressions, or, indeed, if you were to
import
> >Test into another module.
> >
> >If you say ":set -falllow-overlapping-instances" it'll work fine.
> >
> >Now, maybe you'd like the flag to attach permanently to the
*instance*,
> >so that if an instance decl is compiled with
> >-fallow-overlapping-instances, then no complaint will ever be issued
for
> >its overlaps, even if it is imported into a module that doesn't have
> >-fallow-overlapping-instances.  That would make sense, I think, but
it's
> >not implemented and never has been.
> >
> >Simon
> >
> >| -Original Message-
> >| From: [EMAIL PROTECTED]
> >[mailto:glasgow-haskell-users-
> >| [EMAIL PROTECTED] On Behalf Of Ralf Lammel
> >| Sent: 02 March 2005 08:45
> >| To: glasgow-haskell-users@haskell.org
> >| Subject: RE: GHC 6.4 release candidates available
> >|
> >| I think this is an old bug,
> >| or at least I have seen it months back.
> >|
> >| The "overlapping instances" directive does not make it to the
> >top-level.
> >| See attached sample with the offending session.
> >|
> >| Thanks for fixing.
> >| Ralf
> >
> >___
> >Glasgow-haskell-users mailing list
> >Glasgow-haskell-users@haskell.org
> >http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
> >
> >

___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re: GHC 6.4 release candidates available

2005-03-02 Thread Keean Schupke
Erm, what is the module context of GHCi? I thought ghci
used the context of the loaded module:
ghci Test.hs
*Test>
I though the 'Test' in the prompt indicated you were in the context of
the "Test" module. In which case the pragma at the top of the test
module should be in force?
   Keean.
Simon Peyton-Jones wrote:
Ah, yes.  In 6.2, overlap errors were checked and reported "eagerly" at
the instance declaration.  So
instance C Int a
instance C b Bool
was rejected.  Now it isn't.  Instead the program is only rejected if a
constraint arises that matches two instance decls, and neither is more
specific.  For example (C Int Bool)
But many constraints are fine e.g. C Int Char
However this does have the consequence that the overlapping-instance
flag must be on in the module that calls the function rather than the
one that defines the instances.   It'd be better if the info travelled
with the instance decl, but it doesn't (yet).  A good feature request.
Simon
| -Original Message-
| From: [EMAIL PROTECTED]
[mailto:glasgow-haskell-users-
| [EMAIL PROTECTED] On Behalf Of Keean Schupke
| Sent: 02 March 2005 17:20
| To: Simon Peyton-Jones
| Cc: glasgow-haskell-users@haskell.org
| Subject: Re: GHC 6.4 release candidates available
| 
| In the past having:
| 
| {-# OPTIONS -fallow-overlapping-instances #-}
| 
| in a module was enough to get ghci to allow the overlaps.
| 
| so we do:
| 
| ghci Test.hs
| 
| now it does not work (but it did in 6.3), but:
| 
| ghci -fallow-overlapping-instances Test.hs
| 
| does... Even it Test.hs is the top level module.
| 
| Keean.
| 
| Simon Peyton-Jones wrote:
| 
| >Ralf
| >
| >You have a pragma "-fallow-overlapping-instances" in Test.hs, and
indeed
| >it is honoured when compiling Test.hs.  But it's not taken into
account
| >when compiling top-level expressions, or, indeed, if you were to
import
| >Test into another module.
| >
| >If you say ":set -falllow-overlapping-instances" it'll work fine.
| >
| >Now, maybe you'd like the flag to attach permanently to the
*instance*,
| >so that if an instance decl is compiled with
| >-fallow-overlapping-instances, then no complaint will ever be issued
for
| >its overlaps, even if it is imported into a module that doesn't have
| >-fallow-overlapping-instances.  That would make sense, I think, but
it's
| >not implemented and never has been.
| >
| >Simon
| >
| >| -Original Message-
| >| From: [EMAIL PROTECTED]
| >[mailto:glasgow-haskell-users-
| >| [EMAIL PROTECTED] On Behalf Of Ralf Lammel
| >| Sent: 02 March 2005 08:45
| >| To: glasgow-haskell-users@haskell.org
| >| Subject: RE: GHC 6.4 release candidates available
| >|
| >| I think this is an old bug,
| >| or at least I have seen it months back.
| >|
| >| The "overlapping instances" directive does not make it to the
| >top-level.
| >| See attached sample with the offending session.
| >|
| >| Thanks for fixing.
| >| Ralf
| >
| >___
| >Glasgow-haskell-users mailing list
| >Glasgow-haskell-users@haskell.org
| >http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
| >
| >
| 
| ___
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users@haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
 

___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


RE: GHC 6.4 release candidates available

2005-03-02 Thread Simon Peyton-Jones
Ah, yes.  In 6.2, overlap errors were checked and reported "eagerly" at
the instance declaration.  So
instance C Int a
instance C b Bool
was rejected.  Now it isn't.  Instead the program is only rejected if a
constraint arises that matches two instance decls, and neither is more
specific.  For example (C Int Bool)

But many constraints are fine e.g. C Int Char

However this does have the consequence that the overlapping-instance
flag must be on in the module that calls the function rather than the
one that defines the instances.   It'd be better if the info travelled
with the instance decl, but it doesn't (yet).  A good feature request.

Simon

| -Original Message-
| From: [EMAIL PROTECTED]
[mailto:glasgow-haskell-users-
| [EMAIL PROTECTED] On Behalf Of Keean Schupke
| Sent: 02 March 2005 17:20
| To: Simon Peyton-Jones
| Cc: glasgow-haskell-users@haskell.org
| Subject: Re: GHC 6.4 release candidates available
| 
| In the past having:
| 
| {-# OPTIONS -fallow-overlapping-instances #-}
| 
| in a module was enough to get ghci to allow the overlaps.
| 
| so we do:
| 
| ghci Test.hs
| 
| now it does not work (but it did in 6.3), but:
| 
| ghci -fallow-overlapping-instances Test.hs
| 
| does... Even it Test.hs is the top level module.
| 
| Keean.
| 
| Simon Peyton-Jones wrote:
| 
| >Ralf
| >
| >You have a pragma "-fallow-overlapping-instances" in Test.hs, and
indeed
| >it is honoured when compiling Test.hs.  But it's not taken into
account
| >when compiling top-level expressions, or, indeed, if you were to
import
| >Test into another module.
| >
| >If you say ":set -falllow-overlapping-instances" it'll work fine.
| >
| >Now, maybe you'd like the flag to attach permanently to the
*instance*,
| >so that if an instance decl is compiled with
| >-fallow-overlapping-instances, then no complaint will ever be issued
for
| >its overlaps, even if it is imported into a module that doesn't have
| >-fallow-overlapping-instances.  That would make sense, I think, but
it's
| >not implemented and never has been.
| >
| >Simon
| >
| >| -Original Message-
| >| From: [EMAIL PROTECTED]
| >[mailto:glasgow-haskell-users-
| >| [EMAIL PROTECTED] On Behalf Of Ralf Lammel
| >| Sent: 02 March 2005 08:45
| >| To: glasgow-haskell-users@haskell.org
| >| Subject: RE: GHC 6.4 release candidates available
| >|
| >| I think this is an old bug,
| >| or at least I have seen it months back.
| >|
| >| The "overlapping instances" directive does not make it to the
| >top-level.
| >| See attached sample with the offending session.
| >|
| >| Thanks for fixing.
| >| Ralf
| >
| >___
| >Glasgow-haskell-users mailing list
| >Glasgow-haskell-users@haskell.org
| >http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
| >
| >
| 
| ___
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users@haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re: GHC 6.4 release candidates available

2005-03-02 Thread Keean Schupke
In the past having:
{-# OPTIONS -fallow-overlapping-instances #-}
in a module was enough to get ghci to allow the overlaps.
so we do:
ghci Test.hs
now it does not work (but it did in 6.3), but:
ghci -fallow-overlapping-instances Test.hs
does... Even it Test.hs is the top level module.
   Keean.
Simon Peyton-Jones wrote:
Ralf
You have a pragma "-fallow-overlapping-instances" in Test.hs, and indeed
it is honoured when compiling Test.hs.  But it's not taken into account
when compiling top-level expressions, or, indeed, if you were to import
Test into another module.
If you say ":set -falllow-overlapping-instances" it'll work fine.
Now, maybe you'd like the flag to attach permanently to the *instance*,
so that if an instance decl is compiled with
-fallow-overlapping-instances, then no complaint will ever be issued for
its overlaps, even if it is imported into a module that doesn't have
-fallow-overlapping-instances.  That would make sense, I think, but it's
not implemented and never has been.  

Simon
| -Original Message-
| From: [EMAIL PROTECTED]
[mailto:glasgow-haskell-users-
| [EMAIL PROTECTED] On Behalf Of Ralf Lammel
| Sent: 02 March 2005 08:45
| To: glasgow-haskell-users@haskell.org
| Subject: RE: GHC 6.4 release candidates available
| 
| I think this is an old bug,
| or at least I have seen it months back.
| 
| The "overlapping instances" directive does not make it to the
top-level.
| See attached sample with the offending session.
| 
| Thanks for fixing.
| Ralf

___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
 

___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


RE: GHC 6.4 release candidates available

2005-03-02 Thread Simon Peyton-Jones
Ralf

You have a pragma "-fallow-overlapping-instances" in Test.hs, and indeed
it is honoured when compiling Test.hs.  But it's not taken into account
when compiling top-level expressions, or, indeed, if you were to import
Test into another module.

If you say ":set -falllow-overlapping-instances" it'll work fine.

Now, maybe you'd like the flag to attach permanently to the *instance*,
so that if an instance decl is compiled with
-fallow-overlapping-instances, then no complaint will ever be issued for
its overlaps, even if it is imported into a module that doesn't have
-fallow-overlapping-instances.  That would make sense, I think, but it's
not implemented and never has been.  

Simon

| -Original Message-
| From: [EMAIL PROTECTED]
[mailto:glasgow-haskell-users-
| [EMAIL PROTECTED] On Behalf Of Ralf Lammel
| Sent: 02 March 2005 08:45
| To: glasgow-haskell-users@haskell.org
| Subject: RE: GHC 6.4 release candidates available
| 
| I think this is an old bug,
| or at least I have seen it months back.
| 
| The "overlapping instances" directive does not make it to the
top-level.
| See attached sample with the offending session.
| 
| Thanks for fixing.
| Ralf

___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re: x86_64 port

2005-03-02 Thread John Goerzen
Kip Macy  gmail.com> writes:

> I've followed the instructions to the letter.

Debian has had a working amd64 package of ghc for some time now.  It is built
out of the standard source base for it.  You can find that at:

http://ftp.debian.org/debian/pool/main/g/ghc6

You'll want to grab the orig.tar.gz and the diff.gz files.

If you want to grab an amd64 .deb to try, go to:

http://debian-amd64.alioth.debian.org/pure64/pool/unstable/main/amd64/g/ghc6/

Even if you're not running Debian, there are tools available to convert a .deb
to a RPM or tgz package.  Or, you can easily unpack a deb using only ar(1) and
tar(1).

-- John

___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


RE: GHC 6.4 release candidates available

2005-03-02 Thread Simon Marlow
On 02 March 2005 02:10, Benjamin Franksen wrote:

> I haven't followed this thread too closely so please excuse me if
> this has already been mentioned (or even fixed).
> 
> After I installed the latest binary package (20050228) the
> documentation was not correctly linked from the main documentation
> page. 'Hierarchical Libraries' on the main page points
> to /usr/local/share/ghc-6.4.20050228/html/libraries/index.html, but
> in this directory there is no index.html, only subdirectories. The
> link named 'Cabal' is also dead:
> file:/usr/local/share/ghc-6.4.20050228/html/Cabal/index.html does not
> exist). 
> 
> This is clearly non-critical, but it would be nice if it could be
> fixed in the final version.

These should be fixed in last night's snapshot.  There were some
problems with building the docs, and some of the docs didn't get
included in the tarball.

Cheers,
Simon
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


RE: GHC 6.4 release candidates available

2005-03-02 Thread Simon Marlow
On 01 March 2005 22:34, Ian Lynagh wrote:

> The following files in the tarball look like they shouldn't be there
> (and should be cleaned by at least distclean):
> * ghc/includes/mkGHCConstants (an x86 ELF binary)
> * ghc/driver/package.conf.inplace.old
> * ghc/driver/package.conf.old
> * A large number of ld.script files and the _split directories they
> are in 
> * libraries/{OpenAL,X11,base,network,unix}/config.status
> * libraries/config.status

These are all fixed now, and a few more besides.

> After building, then doing make distclean, I'm additionally left with:
> * A ghc/compiler/stage1 directory tree including a number of
>   .hi-boot-5 and .hi-boot-6 files.
> * A ghc/compiler/stage2 directory tree including a number of
>   .hi-noot and .o-boot files.
> * A complete libraries/html directory
> * libraries/libraries.txt
> * mk/config.h
> * mk/config.mk
> * mk/stamp-h

Mostly fixed.  I'm testing the ghc/compiler/stage{1,2,3} cleaning now.

mk/config.mk is a slight problem: we need to be able to 'make dist' at
the top level after doing make distclean, but the top level makefile
needs to include mk/config.mk.

> I think you have unswapped the first two lines of
> "ghc -v 2>&1 | head -2" but not changed "Reading" back to "Using", so
> old hmakes are still broken (old includes the latest release, I
> believe).

Grumble.  Ok, I'll change it to "Using".

> Is there an equivalent of this (the no-OpenGL bit):
> 
> $(MAKE) prefix=`pwd`/debian/tmp/usr install GhcLibsWithOpenGL=NO
> GhcLibsWithGLUT=NO 
> 
> that still works or do I have to do it by hand?

Sorry, those flags have gone away.  You'll have to use a local patch to
libraries/Makefile (just comment out the appropriate SUBDIRS).

Cheers,
Simon
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


seeking array advice

2005-03-02 Thread Ketil Malde

Hi,

I'm about to rework an old program, and I am pondering what data
structure to use.  Basically, I want to store an index of fixed-length
words (q-grams) with positions, i.e. given a word, I can quickly find
its position in the data.

The data set may be large (gigabytes would be nice), and I also want
the option of storing a sparse set of the words in the data
(i.e. every other word, every third, etc).

I *think* I want to use a Map from words to positions, words packed to
fit in Int(32|64|eger) (depending on word size), and positions as
Int(32|64).  I've used a similar approach with FiniteMaps previously,
and it worked nicely, but for smaller data sets.

However:

Using a 'Map key [pos]' will eat a lot of space for the lists.  
'Map key (UArray Int pos)' will be more efficient, but every insertion
and deletion will destroy and create a new array -- and I would like
the Map to live outside a monad (does there even exist an (IO|ST)Map?)

I've considered lists of small(ish -- cache line compatible, probably)
arrays.  Another possibility is a suffix array, and a Map from words
to regions in it. How will a hashtable work in this setting?

Any thoughts?

-kzm

PS: it seems from a recent thread in comp.lang.functional (see
<[EMAIL PROTECTED]>) that array
performance has improved in GHC6.4.  Impressively so.
-- 
If I haven't seen further, it is by standing in the footprints of giants

___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re: GHC 6.4 release candidates available

2005-03-02 Thread Malcolm Wallace
Ian Lynagh <[EMAIL PROTECTED]> writes:

> ghc-6.4.20050228-src.tar.bz2
> 
> I think you have unswapped the first two lines of
> "ghc -v 2>&1 | head -2" but not changed "Reading" back to "Using", so
> old hmakes are still broken (old includes the latest release, I
> believe).

There are a couple of other configuration changes needed in hmake to
support ghc-6.4 as well, so there will be a new release shortly.

Regards,
Malcolm
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


RE: GHC 6.4 release candidates available

2005-03-02 Thread Ralf Lammel
I think this is an old bug,
or at least I have seen it months back.

The "overlapping instances" directive does not make it to the top-level.
See attached sample with the offending session.

Thanks for fixing.
Ralf



Test.hs
Description: Test.hs
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users