[Haskell] Who should be contacted for changes to the front page of http://www.haskell.org ?

2012-04-17 Thread Bernie Pope
Greetings, The front page of http://www.haskell.org/haskellwiki/Haskell is (rightly) protected. Who then should we contact if we have suggestions for changes? I apologise profusely if the answer is staring me in the face, but I couldn't seem to find it. Incidentally, and tediously, my

Re: [Haskell] Who should be contacted for changes to the front page of http://www.haskell.org ?

2012-04-17 Thread Morel Pisum
As Elliott Hird from #haskell mentioned, you could contact someone from http://www.haskell.org/haskellwiki/Special:Listusers/sysop Am 17.04.2012 13:27, schrieb Bernie Pope: Greetings, The front page of http://www.haskell.org/haskellwiki/Haskell is (rightly) protected. Who then should we

[Haskell] CFT -- Haskell Implementors' Workshop 2012

2012-04-17 Thread Johan Tibell
Call for Talks ACM SIGPLAN Haskell Implementors' Workshop http://haskell.org/haskellwiki/HaskellImplementorsWorkshop/2012 Copenhagen, Denmark, September 14th, 2012 The workshop will be held in conjunction with ICFP 2012

[Haskell] ANN: cabal-install-0.14.0

2012-04-17 Thread Andres Löh
I'm pleased to announce the long-awaited new release of cabal-install-0.14.0 If you are already using cabal-install then you can upgrade both using: $ cabal update $ cabal install Cabal cabal-install New users you can get it from: http://haskell.org/cabal/download.html For users on

Re: [Haskell] ANN: cabal-install-0.14.0

2012-04-17 Thread Johan Tibell
First, congratulations on the release. Unfortunately I ran into a problem that's not obvious to me: $ cabal install -v3 Cabal cabal-install searching for ghc in path. found ghc at /usr/bin/ghc (/usr/bin/ghc,[--numeric-version]) /usr/bin/ghc is version 7.4.1 looking for tool ghc-pkg near compiler

Re: [Haskell] ANN: cabal-install-0.14.0

2012-04-17 Thread Johan Tibell
The standard rm -rf ~/.ghc solution didn't help: $ cabal install Cabal cabal-install Resolving dependencies... In order, the following would be installed: array-0.3.0.3 (new version) deepseq-1.3.0.0 (reinstall) changes: array-0.4.0.0 - 0.3.0.3 containers-0.4.2.1 (reinstall) changes: array-0.4.0.0

Re: [Haskell] ANN: cabal-install-0.14.0

2012-04-17 Thread Andres Löh
Hi Johan. I think this is (indirectly) Duncan's fault. He convinced me it'd be a good idea to add a global Hackage preference cabal-install 0.14 for now, so that not everybody gets an upgrade warning immediately. But this also means that you have to explicitly select cabal-install-0.14.0 in

Re: [Haskell] ANN: cabal-install-0.14.0

2012-04-17 Thread Brent Yorgey
selecting cabal-install-0.10.2 (source) and discarding Cabal-1.1.6, ... Notice it's trying to reinstall the version of cabal-install that you already have. After doing 'cabal update', I get [byorgey@LVN513-9:~]$ cabal list cabal-install * cabal-install Synopsis: The command-line

Re: [GHC] #6012: No warning for Incorrect display of 15! (factorial 15) when type is Int - Int

2012-04-17 Thread GHC
#6012: No warning for Incorrect display of 15! (factorial 15) when type is Int - Int ---+ Reporter: George.Atelier |Owner: Type: bug |

Re: [GHC] #6009: The packaging used to provide GHC 7.0.4 for OS X fails for 32 bit -- cannot install

2012-04-17 Thread GHC
#6009: The packaging used to provide GHC 7.0.4 for OS X fails for 32 bit -- cannot install --+- Reporter: InvisibleTech | Owner: Type: bug| Status: new

Re: [GHC] #5967: incompatible implicit declaration of function 'memcpy'

2012-04-17 Thread GHC
#5967: incompatible implicit declaration of function 'memcpy' -+-- Reporter: nomeata | Owner: Type: bug | Status: new Priority: high

Re: [GHC] #6009: The packaging used to provide GHC 7.0.4 for OS X fails for 32 bit -- cannot install

2012-04-17 Thread GHC
#6009: The packaging used to provide GHC 7.0.4 for OS X fails for 32 bit -- cannot install --+- Reporter: InvisibleTech | Owner: Type: bug| Status: new

Re: [GHC] #6009: The packaging used to provide GHC 7.0.4 for OS X fails for 32 bit -- cannot install

2012-04-17 Thread GHC
#6009: The packaging used to provide GHC 7.0.4 for OS X fails for 32 bit -- cannot install ---+ Reporter: InvisibleTech | Owner: Type: bug | Status: closed Priority:

Re: [GHC] #6009: The packaging used to provide GHC 7.0.4 for OS X fails for 32 bit -- cannot install

2012-04-17 Thread GHC
#6009: The packaging used to provide GHC 7.0.4 for OS X fails for 32 bit -- cannot install ---+ Reporter: InvisibleTech | Owner: Type: bug | Status: closed Priority:

Re: [GHC] #6011: Panic when using a type synonym

2012-04-17 Thread GHC
#6011: Panic when using a type synonym ---+ Reporter: mm_freak| Owner: Type: bug | Status: new Priority: normal | Milestone:

Re: [GHC] #6011: Panic when using a type synonym

2012-04-17 Thread GHC
#6011: Panic when using a type synonym ---+ Reporter: mm_freak| Owner: pcapriotti Type: bug | Status: new Priority: normal | Milestone:

Re: [GHC] #5999: 2.54, 2.55

2012-04-17 Thread GHC
#5999: 2.54, 2.55 ---+ Reporter: luite | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: Component: Compiler

Re: [GHC] #5987: Too many symbols in ghc package DLL

2012-04-17 Thread GHC
#5987: Too many symbols in ghc package DLL -+-- Reporter: igloo | Owner: Type: bug | Status: new Priority: highest |

Re: [GHC] #5999: 2.54, 2.55

2012-04-17 Thread GHC
#5999: 2.54, 2.55 ---+ Reporter: luite | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: Component: Compiler

[GHC] #6013: the 'impossible' happened

2012-04-17 Thread GHC
#6013: the 'impossible' happened +--- Reporter: tlvb| Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #6011: Panic when using a type synonym

2012-04-17 Thread GHC
#6011: Panic when using a type synonym -+-- Reporter: mm_freak| Owner: pcapriotti Type: bug | Status: closed Priority: normal

Re: [GHC] #5910: Holes with other constraints

2012-04-17 Thread GHC
#5910: Holes with other constraints +--- Reporter: xnyhps | Owner: Type: feature request | Status: new

Re: [GHC] #6013: the 'impossible' happened

2012-04-17 Thread GHC
#6013: the 'impossible' happened --+- Reporter: tlvb | Owner: Type: bug | Status: closed

Re: [GHC] #5959: GHC Panic: nameModule

2012-04-17 Thread GHC
#5959: GHC Panic: nameModule ---+ Reporter: mightybyte | Owner: Type: bug | Status: new Priority: low

Re: [GHC] #5865: threadDelay is disrupted by system clock changes

2012-04-17 Thread GHC
#5865: threadDelay is disrupted by system clock changes -+-- Reporter: joeyadams | Owner: pcapriotti Type: bug | Status: patch

Re: [GHC] #3867: ghc: panic! (linkBCO: = 64k ptrs)

2012-04-17 Thread GHC
#3867: ghc: panic! (linkBCO: = 64k ptrs) +--- Reporter: archgrove | Owner: Type: bug| Status: closed Priority: high

Re: [GHC] #5865: threadDelay is disrupted by system clock changes

2012-04-17 Thread GHC
#5865: threadDelay is disrupted by system clock changes --+- Reporter: joeyadams| Owner: pcapriotti Type: bug | Status: closed

Re: [GHC] #5999: 2.54, 2.55

2012-04-17 Thread GHC
#5999: 2.54, 2.55 ---+ Reporter: luite | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: Component: Compiler

[GHC] #6014: Crash; message says to report it, here it is.

2012-04-17 Thread GHC
#6014: Crash; message says to report it, here it is. +--- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Component: GHCi

Re: [GHC] #6014: Crash; message says to report it, here it is.

2012-04-17 Thread GHC
#6014: Crash; message says to report it, here it is. +--- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Component: GHCi

Re: [GHC] #5996: fix for CSE

2012-04-17 Thread GHC
#5996: fix for CSE -+-- Reporter: michalt | Owner: Type: bug | Status: patch Priority: normal | Component:

Another profiling question.

2012-04-17 Thread Jurriaan Hage
Dear all, from the RTS option -s I get : INIT time0.00s ( 0.00s elapsed) MUT time 329.99s (940.55s elapsed) GCtime 745.91s (751.51s elapsed) RPtime 765.76s (767.76s elapsed) PROF time 359.95s (362.12s elapsed) EXIT time0.00s ( 0.00s elapsed) I can

Re: Another profiling question.

2012-04-17 Thread Herbert Valerio Riedel
Jurriaan Hage j.h...@uu.nl writes: from the RTS option -s I get : INIT time0.00s ( 0.00s elapsed) MUT time 329.99s (940.55s elapsed) GCtime 745.91s (751.51s elapsed) RPtime 765.76s (767.76s elapsed) PROF time 359.95s (362.12s elapsed) EXIT time

RE: faking universal quantification in constraints

2012-04-17 Thread Dimitrios Vytiniotis
Hi Nick, I cannot say that I understand very well what you have in your mind, nor the signatures of the classes you have in your module, but as you expected your program is unsafe (and I've probably attached one of the most obfuscated ways to show it, many apologies for this! At least my

Re: faking universal quantification in constraints

2012-04-17 Thread Nicolas Frisby
Thanks! I'll analyze what you've done here. One thing that jumps out at me is that you're using flop twice. I think this violates an invariant that I was trying(/hoping) to maintain by not exporting Skolem. I'll let you know once I look at it longer. Thanks for taking the time to do this. On

Re: faking universal quantification in constraints

2012-04-17 Thread Nicolas Frisby
In http://hpaste.org/67172, I've simplified your demonstration to define a function uhoh :: forall a b. Dict (a ~ b) Essentially, I had forgot about ~ constraints. The reason I wasn't exporting Skolem was so that if there were a satisfiable constraint (c Skolem), I could infer that the

Re: faking universal quantification in constraints

2012-04-17 Thread Edward Kmett
On Mon, Apr 16, 2012 at 6:57 PM, Nicolas Frisby nicolas.fri...@gmail.comwrote: I'm simulating skolem variables in order to fake universal quantification in constraints via unsafeCoerce. http://hpaste.org/67121 I'm not familiar with various categories of types from the run-time's

Re: faking universal quantification in constraints

2012-04-17 Thread Nicolas Frisby
Great! I'll take a whack at it ;) On Tue, Apr 17, 2012 at 4:07 PM, Edward Kmett ekm...@gmail.com wrote: On Mon, Apr 16, 2012 at 6:57 PM, Nicolas Frisby nicolas.fri...@gmail.com wrote: I'm simulating skolem variables in order to fake universal quantification in constraints via unsafeCoerce.

Re: faking universal quantification in constraints

2012-04-17 Thread Nicolas Frisby
I built a (really ugly) dictionary for (Int ~ Char) using Data.Constraints.Forall. I'm fairly confident it could be generalized to a polymorphic coercion (a ~ b). http://hpaste.org/67180 I cheated with overlapping instances, but you left me no choice ;). Anyone who pulls this kind of stunt is

Re: faking universal quantification in constraints

2012-04-17 Thread Edward Kmett
On Tue, Apr 17, 2012 at 6:40 PM, Nicolas Frisby nicolas.fri...@gmail.comwrote: I built a (really ugly) dictionary for (Int ~ Char) using Data.Constraints.Forall. I'm fairly confident it could be generalized to a polymorphic coercion (a ~ b). http://hpaste.org/67180 I cheated with

Re: [Haskell-cafe] TLS support for haskell-xmpp

2012-04-17 Thread Vincent Hanquez
On 04/17/2012 04:05 AM, John Goerzen wrote: Dmitry others, Attached is a diff implementing TLS support for haskell-xmpp, and correcting a build failure. The support is rough but it seems to work so far. It's a bid sad but gnutls is GPL-3 and haskell-xmpp BSD3, rendering the combination

Re: [Haskell-cafe] ANNOUNCE: pipes-core 0.1.0

2012-04-17 Thread Paolo Capriotti
On Mon, Apr 16, 2012 at 10:13 PM, Ben Franksen ben.frank...@online.de wrote: I like your pipes package. This is very similar to what Mario Blažević wrote about his Coroutines in the Monad.Reader (can't remember which issue; great article, BTW, many thanks Mario for making me understand the

[Haskell-cafe] CFT -- Haskell Implementors' Workshop 2012

2012-04-17 Thread Johan Tibell
Call for Talks ACM SIGPLAN Haskell Implementors' Workshop http://haskell.org/haskellwiki/HaskellImplementorsWorkshop/2012 Copenhagen, Denmark, September 14th, 2012 The workshop will be held in conjunction with ICFP 2012

Re: [Haskell-cafe] ANNOUNCE: pipes-core 0.1.0

2012-04-17 Thread Chris Smith
Paolo, This new pipes-core release looks very nice, and I'm happy to see exception and finalizer safety while still retaining the general structure of the original pipes package. One thing that Gabriel and Michael have been talking about, though, that seems to be missing here, is a way for a

[Haskell-cafe] Osx, brew install of 64 bit ghc

2012-04-17 Thread G
Got a new ghc via brew 7.0.4 and then recompiled / installed haskell-platform via brew Not getting issue trying to compile using ideah in intellij such as Bad interface file: /usr/local/Cellar/ghc/64-apple-darwin/lib/ghc-7.0.4/base-4.3.1.0/Prelude.hi magic number mismatch: old/corrupt

Re: [Haskell-cafe] ANNOUNCE: pipes-core 0.1.0

2012-04-17 Thread Ben Franksen
Paolo Capriotti wrote: On Mon, Apr 16, 2012 at 10:13 PM, Ben Franksen ben.frank...@online.de wrote: (1) What is the reason for the asymmetry in type Producer b m = Pipe () b m type Consumer a m = Pipe a Void m i.e. why does Producer use () for the input? I would expect it to use Void,

Re: [Haskell-cafe] ANNOUNCE: pipes-core 0.1.0

2012-04-17 Thread Paolo Capriotti
On Tue, Apr 17, 2012 at 4:10 PM, Chris Smith cdsm...@gmail.com wrote: One thing that Gabriel and Michael have been talking about, though, that seems to be missing here, is a way for a pipe to indicate that it's finished with its upstream portion, so that upstream finalizers can be immediately

[Haskell-cafe] ANN: signed-multiset-0.1

2012-04-17 Thread Stefan Holdermans
I am pleased to announce the first release of signed-multiset, which implements an abstract datatype for multisets with negative membership. The package can be obtained from http://hackage.haskell.org/package/signed-multiset-0.1 As always, feedback is welcome. Cheers, Stefan

Re: [Haskell-cafe] ANN: signed-multiset-0.1

2012-04-17 Thread Ivan Lazar Miljenovic
On 18 April 2012 14:26, Stefan Holdermans ste...@vectorfabrics.com wrote: I am pleased to announce the first release of signed-multiset, which implements an abstract datatype for multisets with negative membership. The package can be obtained from