Re: ConstraintKinds and default associated empty constraints

2011-12-21 Thread wagnerdm
Quoting Bas van Dijk : I'm playing a bit with the new ConstraintKinds feature in GHC 7.4.1-rc1. I'm trying to give the Functor class an associated constraint so that we can make Set an instance of Functor. The following code works but I wonder if the trick with: class Empty a; instance Empty a,

ConstraintKinds and default associated empty constraints

2011-12-21 Thread Bas van Dijk
I'm playing a bit with the new ConstraintKinds feature in GHC 7.4.1-rc1. I'm trying to give the Functor class an associated constraint so that we can make Set an instance of Functor. The following code works but I wonder if the trick with: class Empty a; instance Empty a, is the recommended way to

Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1

2011-12-21 Thread Bas van Dijk
On 22 December 2011 00:10, José Pedro Magalhães wrote: > Hi Bas, > > On Wed, Dec 21, 2011 at 23:02, Bas van Dijk wrote: >> >> On 21 December 2011 19:29, Ian Lynagh wrote: >> >  * There is a new feature constraint kinds (-XConstraintKinds): >> > >> >  http://www.haskell.org/ghc/dist/stable/docs/h

Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1

2011-12-21 Thread José Pedro Magalhães
Hi Bas, On Wed, Dec 21, 2011 at 23:02, Bas van Dijk wrote: > On 21 December 2011 19:29, Ian Lynagh wrote: > > * There is a new feature constraint kinds (-XConstraintKinds): > > > http://www.haskell.org/ghc/dist/stable/docs/html/users_guide/constraint-kind.html > > I'm trying to run the Constra

Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1

2011-12-21 Thread Bas van Dijk
On 21 December 2011 19:29, Ian Lynagh wrote: >  * There is a new feature constraint kinds (-XConstraintKinds): >       > http://www.haskell.org/ghc/dist/stable/docs/html/users_guide/constraint-kind.html I'm trying to run the ConstraintKinds example from the documentation: {-# LANGUAGE Constraint

Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1

2011-12-21 Thread Johan Tibell
Built a bunch of packages using the 64-bit compiler on OS X Lion. Works fine. -- Johan ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1

2011-12-21 Thread Roman Cheplyaka
* Ian Lynagh [2011-12-21 18:29:21+] > * The profiling and hpc implementations have been merged and overhauled. > Visible changes include renaming of profiling flags: > > http://www.haskell.org/ghc/dist/stable/docs/html/users_guide/flag-reference.html#id589412 > and the cost-ce

Re: Records in Haskell

2011-12-21 Thread Matthew Farkas-Dyck
Fair enough. On 20/12/2011, Chris Smith wrote: > On Tue, Dec 20, 2011 at 5:57 PM, Matthew Farkas-Dyck > wrote: >> Another thought: >> Perhaps bang as record selection operator. It would avoid further >> corner cases of dot, and it's not unprecedented in Haskell (e.g. >> Data.Map.!). > > We alre

Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1

2011-12-21 Thread Bas van Dijk
On 21 December 2011 19:29, Ian Lynagh wrote: > Please test as much as possible; bugs are much cheaper if we find them > before the release! I'm trying to build bindings-levmar with the new GHC but get the errors as reported here: https://bitbucket.org/mauricio/bindings-dsl/issue/7/build-errors-w

ANNOUNCE: GHC 7.4.1 Release Candidate 1

2011-12-21 Thread Ian Lynagh
We are pleased to announce the first release candidate for GHC 7.4.1: http://www.haskell.org/ghc/dist/7.4.1-rc1/ This includes the source tarball, installers for OS X and Windows, and bindists for amd64/Linux, i386/Linux, amd64/FreeBSD and i386/FreeBSD. Please test as much as possible; bugs