Horray, a ghc bug!

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
16 messages Options
Reply | Threaded
Open this post in threaded view
|

Horray, a ghc bug!

Andreas Abel
You do not get them often, but here is one...

[208 of 254] Compiling Agda.TypeChecking.MetaVars.Occurs (
src/full/Agda/TypeChecking/MetaVars/Occurs.hs,
dist/build/Agda/TypeChecking/MetaVars/Occurs.o )
ghc: panic! (the 'impossible' happened)
   (GHC version 7.4.1 for x86_64-unknown-linux):
        compiler/rename/RnSource.lhs:429:14-81: Irrefutable pattern failed for
pattern Data.Maybe.Just (inst_tyvars,
                                                         _,
                                                         SrcLoc.L _ cls,
                                                         _)

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug


--
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

[hidden email]
http://www2.tcs.ifi.lmu.de/~abel/
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Horray, a ghc bug!

Stijn van Drongelen
Hi,

Have you tried the same with 7.6.1? When I search for RnSource.lhs:429 on Google, I find multiple GHC tickets, marked as 'solved in 7.6.1'.

Kind regards,

Stijn van Drongelen


On Fri, Oct 18, 2013 at 3:04 PM, Andreas Abel <[hidden email]> wrote:
You do not get them often, but here is one...

[208 of 254] Compiling Agda.TypeChecking.MetaVars.Occurs ( src/full/Agda/TypeChecking/MetaVars/Occurs.hs, dist/build/Agda/TypeChecking/MetaVars/Occurs.o )
ghc: panic! (the 'impossible' happened)
  (GHC version 7.4.1 for x86_64-unknown-linux):
        compiler/rename/RnSource.lhs:429:14-81: Irrefutable pattern failed for pattern Data.Maybe.Just (inst_tyvars,
                                                        _,
                                                        SrcLoc.L _ cls,
                                                        _)

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug


--
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

[hidden email]
http://www2.tcs.ifi.lmu.de/~abel/
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe


_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Horray, a ghc bug!

Andreas Abel
On 18.10.2013 15:15, Stijn van Drongelen wrote:
> Have you tried the same with 7.6.1? When I search for RnSource.lhs:429
> on Google, I find multiple GHC tickets, marked as 'solved in 7.6.1'.

Thanks for the hint.  I am now compiling a ghc 7.6 (will take a while).
Unfortunately,  7.4.1 is the last compiler with an easy binary install
on Ubuntu 12.04 LTS, so, no quick fix.

Cheers,
Andreas

> On Fri, Oct 18, 2013 at 3:04 PM, Andreas Abel <[hidden email]
> <mailto:[hidden email]>> wrote:
>
>     You do not get them often, but here is one...
>
>     [208 of 254] Compiling Agda.TypeChecking.MetaVars.__Occurs (
>     src/full/Agda/TypeChecking/__MetaVars/Occurs.hs,
>     dist/build/Agda/TypeChecking/__MetaVars/Occurs.o )
>     ghc: panic! (the 'impossible' happened)
>        (GHC version 7.4.1 for x86_64-unknown-linux):
>              compiler/rename/RnSource.lhs:__429:14-81: Irrefutable
>     pattern failed for pattern Data.Maybe.Just (inst_tyvars,
>                                                              _,
>                                                              SrcLoc.L _ cls,
>                                                              _)
>
>     Please report this as a GHC bug:
>     http://www.haskell.org/ghc/__reportabug
>     <http://www.haskell.org/ghc/reportabug>
>
>
>     --
>     Andreas Abel  <><      Du bist der geliebte Mensch.
>
>     Theoretical Computer Science, University of Munich
>     Oettingenstr. 67, D-80538 Munich, GERMANY
>
>     [hidden email] <mailto:[hidden email]>
>     http://www2.tcs.ifi.lmu.de/~__abel/ <http://www2.tcs.ifi.lmu.de/~abel/>
>     _________________________________________________
>     Haskell-Cafe mailing list
>     [hidden email] <mailto:[hidden email]>
>     http://www.haskell.org/__mailman/listinfo/haskell-cafe
>     <http://www.haskell.org/mailman/listinfo/haskell-cafe>
>
>


--
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

[hidden email]
http://www2.tcs.ifi.lmu.de/~abel/
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Horray, a ghc bug!

Andreas Abel
ghc-7.6.3 does produce a better error now:
[208 of 254] Compiling Agda.TypeChecking.MetaVars.Occurs (
src/full/Agda/TypeChecking/MetaVars/Occurs.hs,
dist/build/Agda/TypeChecking/MetaVars/Occurs.o )

src/full/Agda/TypeChecking/MetaVars/Occurs.hs:380:10:
     Malformed instance: Occurs a -> Occurs (Elim' a)

Thanks!

On 18.10.2013 19:10, Andreas Abel wrote:

> On 18.10.2013 15:15, Stijn van Drongelen wrote:
>> Have you tried the same with 7.6.1? When I search for RnSource.lhs:429
>> on Google, I find multiple GHC tickets, marked as 'solved in 7.6.1'.
>
> Thanks for the hint.  I am now compiling a ghc 7.6 (will take a while).
> Unfortunately,  7.4.1 is the last compiler with an easy binary install
> on Ubuntu 12.04 LTS, so, no quick fix.
>
> Cheers,
> Andreas
>
>> On Fri, Oct 18, 2013 at 3:04 PM, Andreas Abel <[hidden email]
>> <mailto:[hidden email]>> wrote:
>>
>>     You do not get them often, but here is one...
>>
>>     [208 of 254] Compiling Agda.TypeChecking.MetaVars.__Occurs (
>>     src/full/Agda/TypeChecking/__MetaVars/Occurs.hs,
>>     dist/build/Agda/TypeChecking/__MetaVars/Occurs.o )
>>     ghc: panic! (the 'impossible' happened)
>>        (GHC version 7.4.1 for x86_64-unknown-linux):
>>              compiler/rename/RnSource.lhs:__429:14-81: Irrefutable
>>     pattern failed for pattern Data.Maybe.Just (inst_tyvars,
>>                                                              _,
>>                                                              SrcLoc.L
>> _ cls,
>>                                                              _)
>>
>>     Please report this as a GHC bug:
>>     http://www.haskell.org/ghc/__reportabug
>>     <http://www.haskell.org/ghc/reportabug>
>>
>>
>>     --
>>     Andreas Abel  <><      Du bist der geliebte Mensch.
>>
>>     Theoretical Computer Science, University of Munich
>>     Oettingenstr. 67, D-80538 Munich, GERMANY
>>
>>     [hidden email] <mailto:[hidden email]>
>>     http://www2.tcs.ifi.lmu.de/~__abel/
>> <http://www2.tcs.ifi.lmu.de/~abel/>
>>     _________________________________________________
>>     Haskell-Cafe mailing list
>>     [hidden email] <mailto:[hidden email]>
>>     http://www.haskell.org/__mailman/listinfo/haskell-cafe
>>     <http://www.haskell.org/mailman/listinfo/haskell-cafe>
>>
>>
>
>


--
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

[hidden email]
http://www2.tcs.ifi.lmu.de/~abel/
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Horray, a ghc bug!

Yitzchak Gale
In reply to this post by Andreas Abel
Andreas Abel wrote:
> ...I am now compiling a ghc 7.6 (will take a while).
> Unfortunately,  7.4.1 is the last compiler with an easy binary install on
> Ubuntu 12.04 LTS...

Hmm? We are using the binary tarball for 7.6.3 on
Ubuntu 12.04 LTS extensively. The only trouble we ever
encountered was that when installing GHC on a VM
with a very minimal install of 12.04 64-bit, we had to
temporarily install the 32-bit versions of a few basic
Ubuntu system packages to get the GHC installer to
work. After that we returned the machine to single-arch
64-bit and everything is fine.

What problems have you encountered?

-Yitz
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Horray, a ghc bug!

Toby Hutton-2
On Fri, Oct 18, 2013 at 02:35:02PM -0400, Yitzchak Gale wrote:

> Andreas Abel wrote:
> > ...I am now compiling a ghc 7.6 (will take a while).
> > Unfortunately,  7.4.1 is the last compiler with an easy binary install on
> > Ubuntu 12.04 LTS...
>
> Hmm? We are using the binary tarball for 7.6.3 on
> Ubuntu 12.04 LTS extensively. The only trouble we ever
> encountered was that when installing GHC on a VM
> with a very minimal install of 12.04 64-bit, we had to
> temporarily install the 32-bit versions of a few basic
> Ubuntu system packages to get the GHC installer to
> work. After that we returned the machine to single-arch
> 64-bit and everything is fine.
>
> What problems have you encountered?

I think he's saying 'apt-get install ghc' will install 7.4.1.

_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Horray, a ghc bug!

David Fox-12
deb http://deb.seereason.com/ubuntu precise-seereason main
deb-src http://deb.seereason.com/ubuntu precise-seereason main



On Sat, Oct 19, 2013 at 3:27 PM, Toby Hutton <[hidden email]> wrote:
On Fri, Oct 18, 2013 at 02:35:02PM -0400, Yitzchak Gale wrote:
> Andreas Abel wrote:
> > ...I am now compiling a ghc 7.6 (will take a while).
> > Unfortunately,  7.4.1 is the last compiler with an easy binary install on
> > Ubuntu 12.04 LTS...
>
> Hmm? We are using the binary tarball for 7.6.3 on
> Ubuntu 12.04 LTS extensively. The only trouble we ever
> encountered was that when installing GHC on a VM
> with a very minimal install of 12.04 64-bit, we had to
> temporarily install the 32-bit versions of a few basic
> Ubuntu system packages to get the GHC installer to
> work. After that we returned the machine to single-arch
> 64-bit and everything is fine.
>
> What problems have you encountered?

I think he's saying 'apt-get install ghc' will install 7.4.1.

_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe


_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Horray, a ghc bug!

Andreas Abel
Hi, I tried the 64bit binary packages from

   haskell.org/ghc

but I got a complaint that

   libgmp.so.3

is not found on my system (and locate did not reveal it).  I have
several of these libgmp.so, but apparently not the right one

locate libgmp.so

/usr/lib/i386-linux-gnu/openssl-1.0.0/engines/libgmp.so
/usr/lib/i386-linux-gnu/ssl/engines/libgmp.so
/usr/lib/x86_64-linux-gnu/libgmp.so
/usr/lib/x86_64-linux-gnu/libgmp.so.10
/usr/lib/x86_64-linux-gnu/libgmp.so.10.0.2
/usr/lib/x86_64-linux-gnu/openssl-1.0.0/engines/libgmp.so

Here I already gave up.  Since compiling from source worked, I did not
investigate further...

Cheers,
Andreas

On 20.10.2013 02:23, David Fox wrote:
> deb http://deb.seereason.com/ubuntu precise-seereason main
> deb-src http://deb.seereason.com/ubuntu precise-seereason main

Ah, that is useful information.  Thanks!

> On Sat, Oct 19, 2013 at 3:27 PM, Toby Hutton <[hidden email]
> <mailto:[hidden email]>> wrote:
>
>     On Fri, Oct 18, 2013 at 02:35:02PM -0400, Yitzchak Gale wrote:
>      > Andreas Abel wrote:
>      > > ...I am now compiling a ghc 7.6 (will take a while).
>      > > Unfortunately,  7.4.1 is the last compiler with an easy binary
>     install on
>      > > Ubuntu 12.04 LTS...
>      >
>      > Hmm? We are using the binary tarball for 7.6.3 on
>      > Ubuntu 12.04 LTS extensively. The only trouble we ever
>      > encountered was that when installing GHC on a VM
>      > with a very minimal install of 12.04 64-bit, we had to
>      > temporarily install the 32-bit versions of a few basic
>      > Ubuntu system packages to get the GHC installer to
>      > work. After that we returned the machine to single-arch
>      > 64-bit and everything is fine.
>      >
>      > What problems have you encountered?
>
>     I think he's saying 'apt-get install ghc' will install 7.4.1.
>
>     _______________________________________________
>     Haskell-Cafe mailing list
>     [hidden email] <mailto:[hidden email]>
>     http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> [hidden email]
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>


--
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

[hidden email]
http://www2.tcs.ifi.lmu.de/~abel/
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Horray, a ghc bug!

Jason Dagit-3



On Mon, Oct 21, 2013 at 12:42 PM, Andreas Abel <[hidden email]> wrote:
Hi, I tried the 64bit binary packages from

  haskell.org/ghc

but I got a complaint that

  libgmp.so.3

is not found on my system (and locate did not reveal it).  I have several of these libgmp.so, but apparently not the right one

locate libgmp.so

It's a side effect of the distro that these packages are built on. They have a libgmp.so.3 that configure finds/uses, but I think most distros no longer install that. Often times they do have a suitable libgmp and a symlink can fix the issue.

What I do when I run into this is something roughly like this:

1. Run ldd on the executable that is complaining  (alternatively, you can use readelf -d), to find out what shared object is not being loaded correctly and get a hint of the expected path. If you can't figure out the path, then assume it will be the same path used by other .so files.

2. Find a close match, such as the ones you found with locate.

3. (Optional) install the necessary package because no close match is there.

4.  Create a symlink in the right place.

Building from source is usually easier :)

Jason

_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Horray, a ghc bug!

Carter Schonwald
indeed, isn't the usual fix to make sure you've got the "dev" version of the package name installed?


On Mon, Oct 21, 2013 at 3:58 PM, Jason Dagit <[hidden email]> wrote:



On Mon, Oct 21, 2013 at 12:42 PM, Andreas Abel <[hidden email]> wrote:
Hi, I tried the 64bit binary packages from

  haskell.org/ghc

but I got a complaint that

  libgmp.so.3

is not found on my system (and locate did not reveal it).  I have several of these libgmp.so, but apparently not the right one

locate libgmp.so

It's a side effect of the distro that these packages are built on. They have a libgmp.so.3 that configure finds/uses, but I think most distros no longer install that. Often times they do have a suitable libgmp and a symlink can fix the issue.

What I do when I run into this is something roughly like this:

1. Run ldd on the executable that is complaining  (alternatively, you can use readelf -d), to find out what shared object is not being loaded correctly and get a hint of the expected path. If you can't figure out the path, then assume it will be the same path used by other .so files.

2. Find a close match, such as the ones you found with locate.

3. (Optional) install the necessary package because no close match is there.

4.  Create a symlink in the right place.

Building from source is usually easier :)

Jason

_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe



_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Horray, a ghc bug!

Brandon Allbery
On Mon, Oct 21, 2013 at 4:13 PM, Carter Schonwald <[hidden email]> wrote:
indeed, isn't the usual fix to make sure you've got the "dev" version of the package name installed?

Not here; libgmp.so.10 isn't going to match libgmp.so.3 regardless. And it's not determined while building a Haskell program, unless that program is the ghc you are going to use to build other Haskell programs.

--
brandon s allbery kf8nh                               sine nomine associates
[hidden email]                                  [hidden email]
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net

_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Horray, a ghc bug!

Jason Dagit-3
In reply to this post by Carter Schonwald



On Mon, Oct 21, 2013 at 1:13 PM, Carter Schonwald <[hidden email]> wrote:
indeed, isn't the usual fix to make sure you've got the "dev" version of the package name installed?

That works in some cases, but it's not the solution here. In this case the problem is that the elf section lists a filename that doesn't exist (libgmp.so.3) and the symlink redirects it to the real filename (libgmp.so.10).

Jason

_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Horray, a ghc bug!

Simon Hengel
In reply to this post by Andreas Abel
On Mon, Oct 21, 2013 at 09:42:44PM +0200, Andreas Abel wrote:
> Hi, I tried the 64bit binary packages from
>
>   haskell.org/ghc
>
> but I got a complaint that
>
>   libgmp.so.3
>
> is not found on my system (and locate did not reveal it).

Andreas, please feel free to use my PPA for GHC 7.6.3[1] and
cabal-install[2].  This assumes that you install GHC and cabal-install
over with APT and everything else with cabal-install.  Alternatively you
can also use a binary that I built on Ubuntu 13.04 [3].

Cheers.

[1] https://launchpad.net/~typeful/+archive/ghc-7.6.3
[2] https://launchpad.net/~typeful/+archive/cabal-install
[3] http://typeful.net/ghc/
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Horray, a ghc bug!

David Fox-12
In reply to this post by Andreas Abel
The Debian libgmp package is named libgmp3 on Ubuntu, though I don't know why.  Our GHC is patched to reflect this:



On Mon, Oct 21, 2013 at 12:42 PM, Andreas Abel <[hidden email]> wrote:
Hi, I tried the 64bit binary packages from

  haskell.org/ghc

but I got a complaint that

  libgmp.so.3

is not found on my system (and locate did not reveal it).  I have several of these libgmp.so, but apparently not the right one

locate libgmp.so

/usr/lib/i386-linux-gnu/openssl-1.0.0/engines/libgmp.so
/usr/lib/i386-linux-gnu/ssl/engines/libgmp.so
/usr/lib/x86_64-linux-gnu/libgmp.so
/usr/lib/x86_64-linux-gnu/libgmp.so.10
/usr/lib/x86_64-linux-gnu/libgmp.so.10.0.2
/usr/lib/x86_64-linux-gnu/openssl-1.0.0/engines/libgmp.so

Here I already gave up.  Since compiling from source worked, I did not investigate further...

Cheers,
Andreas


On 20.10.2013 02:23, David Fox wrote:
deb http://deb.seereason.com/ubuntu precise-seereason main
deb-src http://deb.seereason.com/ubuntu precise-seereason main

Ah, that is useful information.  Thanks!

On Sat, Oct 19, 2013 at 3:27 PM, Toby Hutton <[hidden email]
<mailto:[hidden email]>> wrote:

    On Fri, Oct 18, 2013 at 02:35:02PM -0400, Yitzchak Gale wrote:
     > Andreas Abel wrote:
     > > ...I am now compiling a ghc 7.6 (will take a while).
     > > Unfortunately,  7.4.1 is the last compiler with an easy binary
    install on
     > > Ubuntu 12.04 LTS...
     >
     > Hmm? We are using the binary tarball for 7.6.3 on
     > Ubuntu 12.04 LTS extensively. The only trouble we ever
     > encountered was that when installing GHC on a VM
     > with a very minimal install of 12.04 64-bit, we had to
     > temporarily install the 32-bit versions of a few basic
     > Ubuntu system packages to get the GHC installer to
     > work. After that we returned the machine to single-arch
     > 64-bit and everything is fine.
     >
     > What problems have you encountered?

    I think he's saying 'apt-get install ghc' will install 7.4.1.

    _______________________________________________
    Haskell-Cafe mailing list
    [hidden email] <mailto:[hidden email]>
    http://www.haskell.org/mailman/listinfo/haskell-cafe





_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe



--
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

[hidden email]
http://www2.tcs.ifi.lmu.de/~abel/


_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Horray, a ghc bug!

Gergely Risko
In reply to this post by Andreas Abel
On Mon, 21 Oct 2013 21:42:44 +0200, Andreas Abel <[hidden email]> writes:

> Here I already gave up.  Since compiling from source worked, I did not
> investigate further...

If this is a single-user desktop machine and you would like to have a
modern GHC with a lot of packages built in, you can also try my pet
project called 'Ceh', see the docs here:
  - https://github.com/errge/ceh
or the slides here:
  - http://www.gergely.risko.hu/fpafternoon-zurich-20130829/ceh.html

I use this solely for all my haskell work in the last half year, even
for recompiling GHC itself, so it's pretty stable and usable by now.

Gergely

_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Horray, a ghc bug!

Andreas Abel
In reply to this post by Simon Hengel
On 21.10.2013 22:35, Simon Hengel wrote:
> Andreas, please feel free to use my PPA for GHC 7.6.3[1] and
> cabal-install[2].  This assumes that you install GHC and cabal-install
> over with APT.

Simon,

I'd assume many Linux users of GHC might find this helpful.  How about
putting this up on the GHC release pages?

I mean it is the official GHC pages where I go looking first for a
working install, and I am expecting to find it there.  If you have a
solution for Ubuntu (that the current pages do not provide), it would
make sense to put it up there.

Cheers,
Andreas


--
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

[hidden email]
http://www2.tcs.ifi.lmu.de/~abel/
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe