Re: ghc 6.6 Debian packages

2007-07-06 Thread Christian Maeder
Ian Lynagh schrieb:
 If you are using Debian etch then you can do
 
 apt-get install libghc6-.*-dev
 
 to install all GHC 6 libraries. There isn't such an easy way to install
 just those (somewhat arbitrarily) defined to be extralibs, though.

Could someone list the available packages (and its versions)? Are there
plans to provide also ghc-6.6.1 debian packages?

I think ghc-6.6.1 provides new time and filepath packages.

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


Re: ghc 6.6 Debian packages

2007-07-06 Thread Ian Lynagh
On Fri, Jul 06, 2007 at 09:46:39AM +0200, Christian Maeder wrote:
 Ian Lynagh schrieb:
  If you are using Debian etch then you can do
  
  apt-get install libghc6-.*-dev
  
  to install all GHC 6 libraries. There isn't such an easy way to install
  just those (somewhat arbitrarily) defined to be extralibs, though.
 
 Could someone list the available packages (and its versions)?

In Debian Etch (stable)?

http://packages.debian.org/cgi-bin/search_packages.pl?keywords=libghc6searchon=namessubword=1version=stablerelease=all

 Are there plans to provide also ghc-6.6.1 debian packages?

At some point, but there are more pressing things to do first.

 I think ghc-6.6.1 provides new time and filepath packages.

time was a 6.6 extralib and is in stable. (I don't know off the top of
my head what differences there were between the versions that came with
6.6 and 6.6.1).

filepath wasn't an extralib, but is in stable nonetheless.


Thanks
Ian

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


Re: Prefix form of unboxed tuple

2007-07-06 Thread John Meacham
On Fri, Jul 06, 2007 at 11:26:00AM +0100, Neil Mitchell wrote:
 ghci -fglasgow-exts
 Prelude case (# 1 , 2 #) of (# a , b #) - error $ show (a,b)
 *** Exception: (1,2)
 
 You might expect there to be a prefix form of the unboxed tuple:
 
 Prelude case (#,#) 1 2 of (# a , b #) - error $ show (a,b)
 interactive:1:7: parse error on input `,'
 
 But there isn't. I've added special code into the Yhc code generator
 to deal with this particular constructor, so it no longer effects me.
 

Well, what would the type of (#,#) be? unboxed tuples can hold both
boxed and unboxed values, so some sort of kind polymorphism would be
needed to type the prefix form properly.


John

-- 
John Meacham - ⑆repetae.net⑆john⑈
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re: Prefix form of unboxed tuple

2007-07-06 Thread Isaac Dupree
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1

John Meacham wrote:
 On Fri, Jul 06, 2007 at 11:26:00AM +0100, Neil Mitchell wrote:
 ghci -fglasgow-exts
 Prelude case (# 1 , 2 #) of (# a , b #) - error $ show (a,b)
 *** Exception: (1,2)

 You might expect there to be a prefix form of the unboxed tuple:

 Prelude case (#,#) 1 2 of (# a , b #) - error $ show (a,b)
 interactive:1:7: parse error on input `,'

 But there isn't. I've added special code into the Yhc code generator
 to deal with this particular constructor, so it no longer effects me.

 
 Well, what would the type of (#,#) be? unboxed tuples can hold both
 boxed and unboxed values, so some sort of kind polymorphism would be
 needed to type the prefix form properly.

In GHC, some special functions have kind polymorphism
http://hackage.haskell.org/trac/ghc/wiki/IntermediateTypes
error :: forall a:?. String - a
(-)  :: ?? - ? - *
(\(x::t) - ...)Here t::?? (i.e. not unboxed tuple)
(and http://hackage.haskell.org/trac/ghc/changeset/2807
But the 'real' type of error is:
forall bv. forall a:Type bv. String - a )

Or just saying it's illegal to partially apply (#,#) - which I believe
is how (some of) GHC's primops work.

Isaac
-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGjj2rHgcxvIWYTTURAp03AJ4/kgTzuN6PHp5QFTOQBKJIKa8QtQCeLvjm
hh9TO2NDFzZ2N+FYsgOORGU=
=6GJm
-END PGP SIGNATURE-
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re: problem compiling an older Haskell program with GHC 6.6.1

2007-07-06 Thread Johannes Waldmann

 Could not find module `Data.FiniteMap':

 is this a backwards-compatibility issue between GHC 6.6.1 and older
 versions of GHC?  

the module has just vanished from libraries.

 is there a simple workaround?

ugly, but workable:

http://dfa.imn.htwk-leipzig.de/cgi-bin/cvsweb/lib/Autolib/Data/Map.hs?rev=1.6

best regards, j.w.
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re: problem compiling an older Haskell program with GHC 6.6.1

2007-07-06 Thread Neil Mitchell

Hi


http://dfa.imn.htwk-leipzig.de/cgi-bin/cvsweb/lib/Autolib/Data/Map.hs?rev=1.6


Or easier: 
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/FiniteMap-0.1

Thanks

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


Re: ghc 6.6 Debian packages

2007-07-06 Thread Ketil Malde
On Thu, 2007-07-05 at 12:11 -0400, Matthew Danish wrote:
 On Thu, Jul 05, 2007 at 11:15:03AM +0200, Christian Maeder wrote:

  Is there no way to provide all the extra libs in one debian package for ghc?

 It may be possible to create a package which depends on all normal
 extras but that seems counter-productive.

Au contraire - I think that is a great way to go about it, and it is how
a lot of things get done.  Meta-packages include desktop environments
(e.g. KDE and Gnome) and the Linux kernel (e.g. linux-generic).

-k

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


problem compiling an older Haskell program with GHC 6.6.1

2007-07-06 Thread Scott Stoller
hi,

I am trying to compile paradox 1.0, an older (GHC 5) Haskell program, 
with GHC 6.6.1 (the Solaris 10 / x86 binary distribution).

in case anyone else wants to try it, I put the paradox source code at 
http://www.cs.sunysb.edu/~stoller/out/paradox-1.0-casc.tar.gz

in the Makefile, I deleted -package lang from HFLAGS, and added -v to it.
then I typed make.  I got the following error message:

Glasgow Haskell Compiler, Version 6.6.1, for Haskell 98, compiled by GHC 
version 6.6.1
Using package config file: /usr/local/lib/ghc-6.6.1/package.conf
wired-in package base mapped to base-2.1.1
wired-in package rts mapped to rts-1.0
wired-in package haskell98 mapped to haskell98-1.0
wired-in package template-haskell mapped to template-haskell-2.1
Hsc static flags: -static
Created temporary directory: /tmp/ghc13306_0
*** Chasing dependencies:

Set.hs:26:7:
Could not find module `Data.FiniteMap':
  locations searched:
Data/FiniteMap.hs
Data/FiniteMap.lhs
*** Deleting temp files:
Deleting: /tmp/ghc13306_0/ghc13306_0.dep
*** Deleting temp dirs:
Deleting: /tmp/ghc13306_0
make: *** [depend.mak] Error 1

is this a backwards-compatibility issue between GHC 6.6.1 and older
versions of GHC?  is there a simple workaround?

I can't easily use an older version of GHC, because I don't see binary
distributions of older versions of GHC for Solaris x86.

any advice would be greatly appreciated.

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


Re: ghc 6.6 Debian packages

2007-07-06 Thread Duncan Coutts
On Fri, 2007-07-06 at 08:36 +0200, Ketil Malde wrote:
 On Thu, 2007-07-05 at 12:11 -0400, Matthew Danish wrote:
  On Thu, Jul 05, 2007 at 11:15:03AM +0200, Christian Maeder wrote:
 
   Is there no way to provide all the extra libs in one debian package for 
   ghc?
 
  It may be possible to create a package which depends on all normal
  extras but that seems counter-productive.
 
 Au contraire - I think that is a great way to go about it, and it is how
 a lot of things get done.  Meta-packages include desktop environments
 (e.g. KDE and Gnome) and the Linux kernel (e.g. linux-generic).

However those projects clearly define which components make up the
whole. We do not. There are the core packages that come with ghc and
then there are all the other packages you can find on hackage. The
'extra' packages is just a bunch that used to be distributed with ghc.
They're not intended to be canonical as far as I know. My understanding
is that that 'extra' tarball is just a transitional thing provided for
convenience until hackage gets up to speed.

If people want to go and define some standard distribution of packages
then that's another matter, but that's something that should be driven
centrally rather than each of the various distro maintainers picking
some arbitrary set of packages.

Duncan
(wearing his Gentoo packager hat)

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


RE: Prefix form of unboxed tuple

2007-07-06 Thread Simon Peyton-Jones
| You might expect there to be a prefix form of the unboxed tuple:
|
| Prelude case (#,#) 1 2 of (# a , b #) - error $ show (a,b)
| interactive:1:7: parse error on input `,'
|
| But there isn't.

No real reason why not.  If you write

foo :: a - b - (# a,b #)
foo x y = (# x, y #)

then foo should work just fine.  So what you want needs two things:

* We would have to define a collection of such functions in the Prelude (see 
Data.Tuple, for the () functions).

* We'd have to do is to make the parser understand '(#,,,#)'.

Do add a feature request if you like.  (And/or implement it!) It'd be a good 
rounding out thing.

Another feature I'd like is for unboxed tuples to be more first class. For 
example, we don't currently allow
f :: (# a, b #) - ...
But there's no real reason why not; we could transform them away just before 
code generation. That would eliminate all special cases for unboxed tuples, 
except the constraints that apply to all unboxed types (notably: you can't 
instantiate a type variable with an unboxed type; unboxed types are strict).

If you add a feature request, add that too!

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


RE: Re[2]: Prefix form of unboxed tuple

2007-07-06 Thread Simon Peyton-Jones
| one particular feature i wanted in my fast io/serialization libs is
| ability to return unboxed tuple from IO action. is this also possible?

No -- that's an example of instantiating a polymorphic type with an unboxed 
one.  Sorry.

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


rpm for RHEL4

2007-07-06 Thread chuckanut

Hi,

I am looking for an rpm for Red Hat enterprise linux 4 for x86_64.
Can anyone point me to such an rpm? I don't think the FC5 binary will
work on EL4.

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