Re: ConstraintKinds and default associated empty constraints

2011-12-22 Thread Bas van Dijk
On 22 December 2011 01:58, wagne...@seas.upenn.edu wrote: 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

Re: ConstraintKinds and default associated empty constraints

2011-12-22 Thread Bas van Dijk
On 22 December 2011 09:31, Simon Peyton-Jones simo...@microsoft.com wrote: What about class Functor f where    type C f :: * - Constraint    type C f = () After all, just as (Ord a, Show a) is a contraint, so is (). But there's a kind mis-match there. `C f` should have kind `* -

Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1

2011-12-22 Thread Conor McBride
Hi On 21 Dec 2011, at 22:41, Johan Tibell wrote: Built a bunch of packages using the 64-bit compiler on OS X Lion. Works fine. I'm a bit of a numpty when it comes to this sort of thing. I tried to install this version ghc-7.4.0.20111219-i386-apple-darwin.tar.bz2 under Leopard,

Re: ConstraintKinds and default associated empty constraints

2011-12-22 Thread Gábor Lehel
On Thu, Dec 22, 2011 at 12:45 AM, Bas van Dijk v.dijk@gmail.com wrote: 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

7.4.1-pre: Show Integral

2011-12-22 Thread Serge D. Mechveliani
пDear GHC team, ghc-7.0.1 assumes that Integral includes Show, and ghc-7.4.0.20111219 does not assume this. Which one agrees with Haskell-2010 ? Regards, -- Sergei mech...@botik.ru ___ Glasgow-haskell-users mailing list

Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1

2011-12-22 Thread Brandon Allbery
On Thu, Dec 22, 2011 at 05:44, Conor McBride co...@strictlypositive.orgwrote: under Leopard, and got this far bash-3.2$ sudo ./configure Password: checking for path to top of build tree... dyld: unknown required load command 0x8022 configure: error: cannot determine current

Prelude in 7.4.0.20111219

2011-12-22 Thread Serge D. Mechveliani
Dear GHC developers, This is on ghc-7.4.0.20111219. Compiling --- {-# OPTIONS -fno-warn-duplicate-exports #-} module DExport (module DPrelude,module Categs, module SetGroup, module RingModule, module Z, module DPair,

Re: Prelude in 7.4.0.20111219

2011-12-22 Thread Ross Paterson
On Thu, Dec 22, 2011 at 03:29:48PM +, Serge D. Mechveliani wrote: DExport.hs:26:8: Ambiguous module name `Prelude': it was found in multiple packages: base haskell98-2.0.0.1 -- Please, what is the best way out? You need to remove either the dependency on

Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1

2011-12-22 Thread Sean Leather
On Thu, Dec 22, 2011 at 16:19, Brandon Allbery wrote: On Thu, Dec 22, 2011 at 05:44, Conor McBride wrote: under Leopard, and got this far bash-3.2$ sudo ./configure Password: checking for path to top of build tree... dyld: unknown required load command 0x8022 configure: error:

Re: ConstraintKinds and default associated empty constraints

2011-12-22 Thread Edward Kmett
On Wed, Dec 21, 2011 at 6:45 PM, Bas van Dijk v.dijk@gmail.com wrote: 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

build-depends

2011-12-22 Thread Serge D. Mechveliani
Dear GHC team, ghc-7.4.0.20111219 puts the following problem of build-depends. docon.cabal of the DoCon project has build-depends: haskell2010, containers And ghc-7.4.0.20111219 reports DExport.hs:28:8: Could not find module `Random' It is a member of the hidden package

Re: build-depends

2011-12-22 Thread J. Garrett Morris
On Thu, Dec 22, 2011 at 9:44 AM, Serge D. Mechveliani mech...@botik.ru wrote: And  ghc-7.4.0.20111219  reports    DExport.hs:28:8:    Could not find module `Random'    It is a member of the hidden package `haskell98-2.0.0.1'.    Perhaps you need to add `haskell98' to the build-depends in your

Re: build-depends

2011-12-22 Thread Serge D. Mechveliani
On Thu, Dec 22, 2011 at 09:48:06AM -0800, J. Garrett Morris wrote: On Thu, Dec 22, 2011 at 9:44 AM, Serge D. Mechveliani mech...@botik.ru wrote: And  ghc-7.4.0.20111219  reports    DExport.hs:28:8:    Could not find module `Random'    It is a member of the hidden package

Re: build-depends

2011-12-22 Thread Thorkil Naur
Hello Serge, On Thu, Dec 22, 2011 at 10:03:45PM +0400, Serge D. Mechveliani wrote: ... This leads to DExport.hs:28:8: Could not find module `System.Random' System.Random can be found in http://hackage.haskell.org/package/random. Best regards Thorkil ...

Re: 7.4.1-pre: Show Integral

2011-12-22 Thread Edward Kmett
7.0.x agrees with the standard. The change, however, was a deliberate _break_ with the standard that passed through the library review process a few months ago, and is now making its way out into the wild. The simplest fix is to simply add an Eq or Show constraint to the few functions that

Re: 7.4.1-pre: Show Integral

2011-12-22 Thread J. Garrett Morris
2011/12/22 Edward Kmett ekm...@gmail.com: The change, however, was a deliberate _break_ with the standard that passed through the library review process a few months ago, and is now making its way out into the wild. Is it reasonable to enquire how many standard-compliant implementations of

Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1

2011-12-22 Thread Conor McBride
On 22 Dec 2011, at 16:08, Sean Leather wrote: I've built it from source (ghc-7.4.0.20111219-src.tar.bz2) on Leopard. I'd be happy to contribute my build if somebody tells me what to do. I hope somebody who knows does just that. Meanwhile, that sounds good to try for myself. My flat's a

RE: 7.4.1-pre: Show Integral

2011-12-22 Thread Simon Peyton-Jones
| 2011/12/22 Edward Kmett ekm...@gmail.com: | The change, however, was a deliberate _break_ with the standard that | passed through the library review process a few months ago, and is now | making its way out into the wild. | | Is it reasonable to enquire how many standard-compliant

Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1

2011-12-22 Thread Conor McBride
On 22 Dec 2011, at 16:08, Sean Leather wrote: I've built it from source (ghc-7.4.0.20111219-src.tar.bz2) on Leopard. I'd be happy to contribute my build if somebody tells me what to do. I had a crack at this and got quite warm, literally and metaphorically. But, no, I didn't quite get

renamed GMP symbols in GHC

2011-12-22 Thread Michal Konečný
Dear all, Several issues related to the way GMP is included in GHC were publicly discussed in the past with the goal of replacing GMP. As summarised in this wiki by Peter Tanski, the main issues were: (1) Licensing (2) Memory Structure; Simultaneous Access to GMP by Foreign (C) code in the

Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1

2011-12-22 Thread Sean Leather
On Thu, Dec 22, 2011 at 22:25, Conor McBride wrote: On 22 Dec 2011, at 16:08, Sean Leather wrote: I've built it from source (ghc-7.4.0.20111219-src.tar.**bz2) on Leopard. I'd be happy to contribute my build if somebody tells me what to do. I had a crack at this and got quite warm,

Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1

2011-12-22 Thread Antoine Latter
On Wed, Dec 21, 2011 at 1:29 PM, Ian Lynagh ig...@earth.li wrote: 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,