Re: [Haskell-cafe] Solved but strange error in type inference

2012-01-06 Thread Yves Parès
2012/1/6 AUGER Cédric sedri...@gmail.com when you write forall a. exists b. a - b - a, then you allow the caller to have access to b to produce a (didn't you write a-b-a?) Yes, sorry, I always assumed independence between the type variables. Like in: f :: forall a. a - (forall b. b - a) being

[Haskell-cafe] Simple type-class experiment turns out not so simple...

2012-01-06 Thread Steve Horne
I was messing around with type-classes (familiarization exercises) when I hit a probably newbie problem. Reducing it to the simplest case... module BinTree ( WalkableBinTree, BT (Branch, Empty) ) where -- n : node type -- d : data item type wrapped in each node class WalkableBinTree n

Re: [Haskell-cafe] Simple type-class experiment turns out not so simple...

2012-01-06 Thread Steffen Schuldenzucker
On 01/06/2012 11:16 AM, Steve Horne wrote: I was messing around with type-classes (familiarization exercises) when I hit a probably newbie problem. Reducing it to the simplest case... module BinTree ( WalkableBinTree, BT (Branch, Empty) ) where -- n : node type -- d : data item type wrapped

Re: [Haskell-cafe] ghc default options

2012-01-06 Thread Ivan Perez
I don't know if there's a ghc main config file (I haven't found any) but you can always use one of the following: 1) alias 2) Modify the lib field of one of the package config files in .ghc or /usr/lib/ghc, probably of ghc itself. 3) Modify your cabal files. You can use extra-lib-dirs or

Re: [Haskell-cafe] How to split this string.

2012-01-06 Thread Jon Fairbairn
Steve Horne sh006d3...@blueyonder.co.uk writes: On 05/01/2012 11:09, Brandon Allbery wrote: On Thu, Jan 5, 2012 at 05:57, Steve Horne sh006d3...@blueyonder.co.uk mailto:sh006d3...@blueyonder.co.uk wrote: -- groupCut - Similar to groupBy, but where groupBy assumes an equivalence

Re: [Haskell-cafe] haxr standalone server?

2012-01-06 Thread Michael Snoyman
On Thu, Jan 5, 2012 at 5:40 PM, Johannes Waldmann waldm...@imn.htwk-leipzig.de wrote: How could I use haxr (http://www.haskell.org/haskellwiki/HaXR) to build a stateful server? It should listen on some port, and fork threads (inside Haskell land) to handle incoming calls. Any of the Haskell

Re: [Haskell-cafe] Simple type-class experiment turns out not so simple...

2012-01-06 Thread Steve Horne
On 06/01/2012 10:29, Steffen Schuldenzucker wrote: On 01/06/2012 11:16 AM, Steve Horne wrote: I was messing around with type-classes (familiarization exercises) when I hit a probably newbie problem. Reducing it to the simplest case... module BinTree ( WalkableBinTree, BT (Branch, Empty) )

Re: [Haskell-cafe] How to split this string.

2012-01-06 Thread Steve Horne
On 06/01/2012 10:39, Jon Fairbairn wrote: groupBy is currently implemented using span. It strikes me that we ought to specify some properties for what we want. Start by defining: pairwiseInOrderBy p l = all (uncurry p) (l `zip` drop 1 l) giving all (pairwiseInOrderBy p) (groupCut p l) and we

Re: [Haskell-cafe] Simple type-class experiment turns out not so simple...

2012-01-06 Thread Steffen Schuldenzucker
On 01/06/2012 11:51 AM, Steve Horne wrote: On 06/01/2012 10:29, Steffen Schuldenzucker wrote: On 01/06/2012 11:16 AM, Steve Horne wrote: [...] module BinTree ( WalkableBinTree, BT (Branch, Empty) ) where -- n : node type -- d : data item type wrapped in each node class WalkableBinTree n

Re: [Haskell-cafe] Simple type-class experiment turns out not so simple...

2012-01-06 Thread Philip K. F. Hölzenspies
Dear Steve, et al., On 6 Jan 2012, at 11:00, haskell-cafe-requ...@haskell.org haskell-cafe-requ...@haskell.org wrote: From: Steve Horne sh006d3...@blueyonder.co.uk Date: 6 January 2012 10:51:58 GMT To: Steffen Schuldenzucker sschuldenzuc...@uni-bonn.de Cc: Haskell Cafe Mailing List

Re: [Haskell-cafe] Solved but strange error in type inference

2012-01-06 Thread AUGER Cédric
Le Fri, 6 Jan 2012 10:59:29 +0100, Yves Parès limestr...@gmail.com a écrit : 2012/1/6 AUGER Cédric sedri...@gmail.com when you write forall a. exists b. a - b - a, then you allow the caller to have access to b to produce a (didn't you write a-b-a?) Yes, sorry, I always assumed

[Haskell-cafe] OpenAL bindings?

2012-01-06 Thread Jason Dagit
Hello, Looks like the repo [1] for the OpenAL bindings that Sven Panne created [2] is no longer available. I assume this is a result of The Great Server Outage of 2011 [3]. Do other bindings exist (I didn't see any on hackage, google, or the wiki [4])? I can import the source that is available

[Haskell-cafe] Package for QuickCheck instances

2012-01-06 Thread Antoine Latter
Hi Haskell, I was writing some tests that involved a large number of quickcheck properties which don't ship with the library itself, so I thought I would package them all together and put the orphan instances on Hackage. Here's what I have so far:

Re: [Haskell-cafe] Experiments in Haskell Packaging

2012-01-06 Thread Chris Dornan
Thanks Sanket, That ticket https://github.com/haskell-hub/hub-gen/issues/8 on the need for user-space installs is a model of clarity. I don't have any problem with installing the tools into user-land - this will be true of all of the components in the justhub distro - provided you start with

Re: [Haskell-cafe] Package for QuickCheck instances

2012-01-06 Thread Bryan O'Sullivan
On Fri, Jan 6, 2012 at 8:43 AM, Antoine Latter aslat...@gmail.com wrote: I was writing some tests that involved a large number of quickcheck properties which don't ship with the library itself, so I thought I would package them all together and put the orphan instances on Hackage. That's a

[Haskell-cafe] Problems with libgmp on Amazon Linux

2012-01-06 Thread Nicu Ionita
Hello, I saw [1] there is a lot of activity in the Haskell community regarding Amazon Web Services (AWS). As they allow an easy start [2], I decided to giv it a try and followed the procedure published by JP Moresmau [3] to install the Haskell Plattform on Amazon Linux (a minimal linux

[Haskell-cafe] [ANNOUNCE] First release of crypto-conduit

2012-01-06 Thread Felipe Almeida Lessa
Hello! I'm pleased to announce the first release of crypto-conduit [1]! The crypto-api [2] package provides APIs for many cryptographic operations, such as cryptographic hashes and block ciphers. This new crypto-conduit package allows you to use many of these operations with conduits [3],

Re: [Haskell-cafe] Problems with libgmp on Amazon Linux

2012-01-06 Thread Yucheng Zhang
On Sat, Jan 7, 2012 at 8:08 AM, Nicu Ionita nicu.ion...@acons.at wrote: It seemed to work pretty well, with some problems when configuring HP, because although libgmp was already installed, it was not recognized. I installed the newer version 5.0.2 (from sources) [4], did some tricks (cp

Re: [Haskell-cafe] Problems with libgmp on Amazon Linux

2012-01-06 Thread Yucheng Zhang
On Sat, Jan 7, 2012 at 1:04 PM, Yucheng Zhang yczhan...@gmail.com wrote: ldconfig -n /usr/bin Sorry, it should be: ldconfig -n /usr/lib ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe