Re: Records in Haskell

2011-12-21 Thread Matthew Farkas-Dyck
Fair enough. On 20/12/2011, Chris Smith cdsm...@gmail.com wrote: On Tue, Dec 20, 2011 at 5:57 PM, Matthew Farkas-Dyck strake...@gmail.com wrote: Another thought: Perhaps bang as record selection operator. It would avoid further corner cases of dot, and it's not unprecedented in Haskell

Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1

2011-12-21 Thread Roman Cheplyaka
* Ian Lynagh ig...@earth.li [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

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 Bas van Dijk
On 21 December 2011 19:29, Ian Lynagh ig...@earth.li 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: {-#

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 v.dijk@gmail.com wrote: On 21 December 2011 19:29, Ian Lynagh ig...@earth.li wrote: * There is a new feature constraint kinds (-XConstraintKinds): http://www.haskell.org/ghc/dist/stable/docs/html/users_guide/constraint-kind.html

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 j...@cs.uu.nl wrote: Hi Bas, On Wed, Dec 21, 2011 at 23:02, Bas van Dijk v.dijk@gmail.com wrote: On 21 December 2011 19:29, Ian Lynagh ig...@earth.li wrote:  * There is a new feature constraint kinds (-XConstraintKinds):  

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: ConstraintKinds and default associated empty constraints

2011-12-21 Thread wagnerdm
Quoting Bas van Dijk v.dijk@gmail.com: 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