Semi-applied datatypes in instance declarations

2001-02-06 Thread George Russell

I apologise if this has been raised before, but the code I am
writing now would look rather nicer if "partially applied 
type constructors" were permitted in instances.  For example:

class Event e where
   sync :: e a - IO a

data Event extraData a = blah blah . . .

instance (context on extradata) = Event extradata where
   blah blah . . .

Any chance of this?  Or are there reasons why this would be wholly
ridiculous?

___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users



ANNOUNCE: The Glasgow Haskell Compiler -- version 4.08.2

2001-02-06 Thread Julian Seward (Intl Vendor)


   The Glasgow Haskell Compiler -- version 4.08.2
  

We are pleased to announce a new release of the Glasgow Haskell
Compiler (GHC), version 4.08.2.  The source distribution is freely
available via the World-Wide Web and through anon. FTP, under a
BSD-style license.  See below for download details.  Pre-built
packages for Linux, FreeBSD, Solaris and Win32 are also available.

Haskell is "the" standard lazy functional programming language; the
current language version is Haskell 98, agreed in December 1998.

GHC is a state-of-the-art optimising compiler for Haskell, generating
good code for a variety of platforms.  The distribution includes space
and time profiling facilities, a large collection of libraries, and
support for various language extensions, including concurrency,
exceptions, and foreign language interfaces (C, C++, whatever).

A wide variety of Haskell related resources (tutorials, libraries,
specifications, documentation, compilers, interpreters, references,
contact information, links to research groups) are available from the
Haskell home page at

http://www.haskell.org/

GHC's Web page lives at

http://www.haskell.org/ghc/


+ What's new in 4.08.2
===

No new features, just a few minor bug fixes.


+ What's new in 4.08
=

This should be a stable release.  There have been many enhancements
since 4.06, and shed-loads of bug-fixes (one shed (imperial) ~ one ton
(US)).

There are the following changes

   - New profiling subsystem, based on cost-centre stacks.

   - Working x86 native code generator: now it works properly, runs
 about twice as fast as compiling via C, and is on a par for
 run-time speed (except in FP-intensive programs).

   - Implicit parameters (i.e. dynamic scoping without the pain).

   - DEPRECATED pragma for marking obsolescent interfaces.

   - In the wake of hslibs, a new package system for
 libraries. -package should now be used instead of -syslib.

   - Result type signatures work.

   - Many tiresome long-standing bugs and problems (e.g. the trace
 problem) have been fixed.

   - Many error messages have been made more helpful and/or
 accurate.

For full details see the release notes:

http://www.haskell.org/ghc/docs/4.08/users_guide/release-4-08.html


+ Important Info For Win32 users
=

ALERT: For reasons as yet not understood, as of January 2001 Cygwin's
mingw package has a problem that causes GHC-compiled binaries to be
built incorrectly. The fix is to ensure that your mingw package is
dated 2000 (you can set this in the Cygwin installer). See the
installation guide for more details.


+ Mailing lists


We run mailing lists for GHC users and bug reports; to subscribe, use
the web interfaces at

http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

There are several other haskell and ghc-related mailing lists on
www.haskell.org; for the full list, see

http://www.haskell.org/mailman/listinfo/

Please send bug reports about GHC to [EMAIL PROTECTED];
GHC users hang out on [EMAIL PROTECTED]  Bleeding
edge CVS users party on [EMAIL PROTECTED]


+ On-line GHC-related resources


Relevant URLs on the World-Wide Web:

GHC home page http://www.haskell.org/ghc/
Haskell home page http://www.haskell.org/
comp.lang.functional FAQ  http://www.cs.nott.ac.uk/~gmh/faq.html


+ How to get it


The easy way is to go to the WWW page, which should be
self-explanatory:

http://www.haskell.org/ghc/

Once you have the distribution, please follow the pointers in the
README file to find all of the documentation about this release.  NB:
preserve modification times when un-tarring the files (no `m' option
for tar, please)!


+ System requirements
==

To compile the sources, you need a machine with 32+MB memory, GNU C
(`gcc'), `perl' plus a version of GHC installed (3.02 at least).  This
release is known to work on the following platforms:

  * i386-unknown-{linux,freebsd,netbsd,cygwin32,mingw32}
  * sparc-sun-solaris2
  * hppa1.1-hp-hpux{9,10}

Ports to the following platforms should be relatively easy (for a
wunderhacker), but haven't been tested due to lack of time/hardware:

  * i386-unknown-solaris2
  * alpha-dec-osf{2,3}
  * mips-sgi-irix{5,6}
  * {rs6000,powerpc}-ibm-aix

The builder's guide included in distribution gives a complete
run-down of what ports work; an on-line version can be found at

   http://www.haskell.org/ghc/docs/4.08/building/building-guide.html

___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users



Re: Semi-applied datatypes in instance declarations

2001-02-06 Thread Marcin 'Qrczak' Kowalczyk

On Tue, 6 Feb 2001, George Russell wrote:

 I apologise if this has been raised before, but the code I am
 writing now would look rather nicer if "partially applied 
 type constructors" were permitted in instances.

They are. For example monads.

-- 
Marcin 'Qrczak' Kowalczyk


___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users



GHC-4.08.2

2001-02-06 Thread Malcolm Wallace

The download links on
http://www.mirror.ac.uk/sites/www.haskell.org/ghc/
for the new GHC 4.08.2 have somewhat (ahem) strange referents.

(The RedHat 6 binary package gives me a picture of Haskell B Curry,
the RH6 profiling package gives me a .dvi file of the dynamic semantics
of the language, RH7 source RPM gives me an Emacs hugs-mode)

The original haskell.org site seems ok, just mirror.ac.uk is broken.

Malcolm

___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users



Re: GHC-4.08.2

2001-02-06 Thread Malcolm Wallace

 The original haskell.org site seems ok, just mirror.ac.uk is broken.

Oops, retract that.  The RedHat 6 packages all seem to be 4.08.1, not
the advertised 4.08.2.

Regards,
Malcolm

___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users



Re: GHC-4.08.2

2001-02-06 Thread Manuel M. T. Chakravarty

Malcolm Wallace [EMAIL PROTECTED] wrote,

  The original haskell.org site seems ok, just mirror.ac.uk is broken.
 
 Oops, retract that.  The RedHat 6 packages all seem to be 4.08.1, not
 the advertised 4.08.2.

There shouldn't be any links to RedHat 6 packages.  I don't
have a RedHat 6.x machine anymore, and so, can't make any
packages for it.  If you have a RedHat 6.x box with an older
version of GHC already installed, just run

  rpm --rebuild ghc-4.08.2-1.src.rpm

This should (with a little waiting ;-)  produce binary
packages for 4.08.2 running on your flavour of RedHat.

Cheers,
Manuel

___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users