Re: [GHC] #4013: build fails on OS X: Invalid Mach-O file:Address out of bounds while relocating object file

2010-04-26 Thread GHC
#4013: build fails on OS X: Invalid Mach-O file:Address out of bounds while relocating object file -+-- Reporter: igloo |Owner: Type: bug | Status: new

[GHC] #4015: :browse prints record selectors too many times

2010-04-26 Thread GHC
#4015: :browse prints record selectors too many times -+-- Reporter: simonpj |Owner: Type: bug | Status: new Priority: normal|

[GHC] #4016: Strange display behaviour in GHCi

2010-04-26 Thread GHC
#4016: Strange display behaviour in GHCi -+-- Reporter: simonpj |Owner: Type: bug | Status: new Priority: normal|Milestone:

[GHC] #4017: Unhelpful error message in GHCi

2010-04-26 Thread GHC
#4017: Unhelpful error message in GHCi -+-- Reporter: simonpj |Owner: Type: bug | Status: new Priority: normal|Milestone:

Re: [GHC] #4012: Compilation results are not deterministic

2010-04-26 Thread GHC
#4012: Compilation results are not deterministic ---+ Reporter: kili | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #3121: readline package does not respect Cabal --extra-{include, lib}-dirs flags

2010-04-26 Thread GHC
#3121: readline package does not respect Cabal --extra-{include,lib}-dirs flags --+- Reporter: duncan |Owner: Type: bug| Status: new Priority:

Re: [GHC] #3121: readline package does not respect Cabal --extra-{include, lib}-dirs flags

2010-04-26 Thread GHC
#3121: readline package does not respect Cabal --extra-{include,lib}-dirs flags --+- Reporter: duncan |Owner: Type: bug| Status: new Priority:

Re: [GHC] #1884: Win64 Port

2010-04-26 Thread GHC
#1884: Win64 Port ---+ Reporter: simonmar|Owner: Type: task| Status: new Priority: normal |Milestone: _|_ Component:

[GHC] #4018: Concurrency space leak

2010-04-26 Thread GHC
#4018: Concurrency space leak -+-- Reporter: simonpj |Owner: Type: bug | Status: new Priority: normal|Milestone: 6.14.1

Re: [GHC] #3693: Show stack traces

2010-04-26 Thread GHC
#3693: Show stack traces -+-- Reporter: jpet |Owner: Type: feature request | Status: new Priority: normal|Milestone: 6.14.1

Re: [GHC] #4010: Confusing help for +RTS -e

2010-04-26 Thread GHC
#4010: Confusing help for +RTS -e -+-- Reporter: rl|Owner: simonmar Type: bug | Status: assigned Priority: normal|Milestone:

Re: [GHC] #3717: Superfluous seq no eliminated

2010-04-26 Thread GHC
#3717: Superfluous seq no eliminated -+-- Reporter: rl|Owner: Type: bug | Status: new Priority: normal

[GHC] #4019: deriving Ord can produce incorrect and inefficient instances

2010-04-26 Thread GHC
#4019: deriving Ord can produce incorrect and inefficient instances -+-- Reporter: rl| Owner: Type: bug | Status: new

Re: [GHC] #3999: Improved folds for Data.Map and Data.IntMap

2010-04-26 Thread GHC
#3999: Improved folds for Data.Map and Data.IntMap -+-- Reporter: LouisWasserman| Owner: Type: proposal | Status: new Priority: normal|

[GHC] #4020: Please consider adding support for nested type synonyms

2010-04-26 Thread GHC
#4020: Please consider adding support for nested type synonyms -+-- Reporter: nr| Owner: Type: feature request | Status: new Priority: normal|

Re: [GHC] #4019: deriving Ord can produce incorrect and inefficient instances

2010-04-26 Thread GHC
#4019: deriving Ord can produce incorrect and inefficient instances -+-- Reporter: rl| Owner: Type: bug | Status: new

Re: [GHC] #1576: Document Template Haskell API

2010-04-26 Thread GHC
#1576: Document Template Haskell API --+- Reporter: iamp...@… |Owner: Type: feature request| Status: new Priority: normal |Milestone: _|_

RE: three dots of :browse

2010-04-26 Thread Simon Peyton-Jones
| Again, my question is: suppose the following code is given: | | module Test (R(..)) where | data R = R { x :: Char, y :: Int, z :: Float } | | and :browse of GHC 6.12 displays: | | data R = R {x :: Char, y :: Int, z :: Float} | data R = R {x :: Char, ...} | data R = R {..., y :: Int, ...} |

Re: three dots of :browse

2010-04-26 Thread 山本和彦
| data R = R {x :: Char, y :: Int, z :: Float} | data R = R {x :: Char, ...} | data R = R {..., y :: Int, ...} | data R = R {..., z :: Float} | | which cannot be parsed. That's a bug, plain and simple. I know why it happens, too, though I will not bore you with the details. I'll make

RE: [Haskell-cafe] London HUG domain expired

2010-04-26 Thread Bayley, Alistair
From: sefer@gmail.com [mailto:sefer@gmail.com] On Behalf Of Yitzchak Gale On Fri, Apr 23, 2010 at 1:24 PM, Bayley, Alistair wrote: Looks like the London HUG domain (londonhug.net) registration has expired. Neil Bartlett was the registrant. Neil: do you plan to renew? The

Getting a GHC repository got easier: new instructions

2010-04-26 Thread Simon Marlow
Our GHC repositories on darcs.haskell.org have now been upgraded to hashed format, with some nice consequences: - Using --lazy, getting a GHC repo over the network only takes a few minutes - No need to download tarballs any more - No complicated instructions about how to avoid

Re: Getting a GHC repository got easier: new instructions

2010-04-26 Thread Max Bolingbroke
On 26 April 2010 13:42, Simon Marlow marlo...@gmail.com wrote: comments welcome! This is great news. However, I had some problems: 1) darcs-all does not add --lazy by default, which contradicts the wiki: $ ./darcs-all --testsuite get warning: adding --partial, to override use --complete

Re: Getting a GHC repository got easier: new instructions

2010-04-26 Thread Simon Marlow
On 26/04/2010 15:31, Max Bolingbroke wrote: On 26 April 2010 13:42, Simon Marlowmarlo...@gmail.com wrote: comments welcome! This is great news. However, I had some problems: 1) darcs-all does not add --lazy by default, which contradicts the wiki: $ ./darcs-all --testsuite get warning:

Re: ANNOUNCE: GHC version 6.12.2

2010-04-26 Thread Jens Petersen
On 22 April 2010 10:19, Ian Lynagh ig...@earth.li wrote: Release notes are here:  http://haskell.org/ghc/docs/6.12.1/html/users_guide/release-6-12-2.html No mention of it, but is utf8-string now only an internal library? Jens ___

[Haskell] VSTTE 2010: Call for POSTERS

2010-04-26 Thread Gudmund Grov
(* Apologies if you receive multiple copies of this announcement *) * *** Call for POSTERS *** 3rd International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2010) Edinburgh, Scotland August

[Haskell] ANNOUNCE: graphviz 2999.9.0.0

2010-04-26 Thread Ivan Lazar Miljenovic
I'm pleased to announce the latest version of my graphviz library that provides Haskell bindings to the Graphviz graph visualisation suite. There are numerous changes in this release, the most important of which are: * graphviz now has an FAQ and an improved README as well as its own

[Haskell] Re: ANNOUNCE: graphviz 2999.9.0.0

2010-04-26 Thread Ivan Miljenovic
A few things I forgot to mention in my haste to get this out: 1) I was planning on having a tutorial-style blog post where I'd use graphviz to parse an manipulate the output ghc-pkg dot; however I've been busier than I expected recently and figured it'd be better to get this release out and do

[Haskell] ANN: operational-0.2.0.0

2010-04-26 Thread Heinrich Apfelmus
Dear Haskellers, I'm pleased to announce the *release* of operational-0.2.0.0 , a tiny library for implementing monads by specifying their operational semantics. This library is based on The Operational Monad Tutorial, first published in Issue 15 on The Monad.Reader.

[Haskell] Re: ANNOUNCE: GHC version 6.12.2

2010-04-26 Thread Jens Petersen
On 22 April 2010 10:19, Ian Lynagh ig...@earth.li wrote: Release notes are here:  http://haskell.org/ghc/docs/6.12.1/html/users_guide/release-6-12-2.html No mention of it, but is utf8-string now only an internal library? Jens ___ Haskell mailing list

[Haskell-cafe] Re: What do _you_ want to see in FGL?

2010-04-26 Thread Christian Maeder
Ivan Lazar Miljenovic schrieb: - Having a separate parameter (using associated types?) for the node type rather than just using Int. Just Int for nodes was disappointing. It should have been at least a newtype. I would vote against these experimental features like associated types or

[Haskell-cafe] Re: What do _you_ want to see in FGL?

2010-04-26 Thread Ivan Lazar Miljenovic
Christian Maeder christian.mae...@dfki.de writes: Ivan Lazar Miljenovic schrieb: - Having a separate parameter (using associated types?) for the node type rather than just using Int. Just Int for nodes was disappointing. It should have been at least a newtype. This then loses

Re: [Haskell-cafe] What do _you_ want to see in FGL?

2010-04-26 Thread Neil Brown
Hi, Primarily I want to see in FGL: documentation, documentation and more documentation. The library has lots of undocumented functions (especially the queries, e.g. http://hackage.haskell.org/packages/archive/fgl/5.4.2.2/doc/html/Data-Graph-Inductive-Query-DFS.html has no documentation at

[Haskell-cafe] Re: What do _you_ want to see in FGL?

2010-04-26 Thread Christian Maeder
Ivan Lazar Miljenovic schrieb: I would vote against these experimental features like associated types or MPTC and FD. I prefer plain type parameters for data types, but that does not fit well together with type classes. Why don't you like extensions? I used to feel the same way, but then

[Haskell-cafe] happstack/SOAP

2010-04-26 Thread Johannes Waldmann
Hi - I'm looking for an example/demo happstack server that handles SOAP requests. - Thanks, J.W. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] What do _you_ want to see in FGL?

2010-04-26 Thread Stephen Tetley
Hello Ivan What would your thoughts be on freezing FGL as it is and putting changes into a new package FGL2 or NewFGL? The implementation technique for FGL is independently interesting; Martin Erwig expanded on it in other papers ('Metamorphic Programming') but no one else seems to have picked

RE: [Haskell-cafe] London HUG domain expired

2010-04-26 Thread Bayley, Alistair
From: sefer@gmail.com [mailto:sefer@gmail.com] On Behalf Of Yitzchak Gale On Fri, Apr 23, 2010 at 1:24 PM, Bayley, Alistair wrote: Looks like the London HUG domain (londonhug.net) registration has expired. Neil Bartlett was the registrant. Neil: do you plan to renew? The

[Haskell-cafe] Broken ghc documentation links

2010-04-26 Thread hask...@kudling.de
To reproduce:   1) Look for data IO on Hoogle, e.g. http://haskell.org/ghc/docs/6.12.1/html/libraries/base-4.2.0.0/Prelude.html#t%3AIO 2) Click source, which redirects to http://haskell.org/ghc/docs/6.12.1/html/libraries/base-4.2.0.0/src/GHC-Types.html#IO   3) Observe a Not Found page   Is there

[Haskell-cafe] Ada-style ranges

2010-04-26 Thread hask...@kudling.de
Hi list,   how would you describe Ada's ranges in Haskell's typesystem? http://en.wikibooks.org/wiki/Ada_Programming/Types/range   I feel, you can not because this is a runtime property.   Bye, Lenny___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

[Haskell-cafe] Why does cabal select base-3.0.3.2 when base-4.2.0.0 is available?

2010-04-26 Thread Bjorn Buckwalter
Dear all, Why does cabal seem to prefer base-3.0.3.2 over base-4.2.0.0 when installing packages with an unqualified base requirement? Example: $ cabal install -v fad --reinstall [snip] Resolving dependencies... selecting fad-1.0 (hackage) selecting base-3.0.3.2 (installed) and 4.2.0.0

[Haskell-cafe] Re: Unicode strings and runCommand / runProcess

2010-04-26 Thread S. Astanin
Actually, the behavior of openFile when given a String with characters 0xFF is also completely undocumented.  I am not sure what it does with that.  It should probably be the same as runCommand, whatever it is. Actually, the behaviour of openFile is known to be platform-dependent.

Re: [Haskell-cafe] What do _you_ want to see in FGL?

2010-04-26 Thread Ivan Lazar Miljenovic
Stephen Tetley stephen.tet...@gmail.com writes: What would your thoughts be on freezing FGL as it is and putting changes into a new package FGL2 or NewFGL? That's another possibility. However, I was planning on keeping the fundamental layout and design of FGL. I quite like and have used the

Re: [Haskell-cafe] Broken ghc documentation links

2010-04-26 Thread Ivan Lazar Miljenovic
So, the problem is that there are broken links _in Hoogle_; have you thought about contacting the author Neil Mitchell directly? hask...@kudling.de hask...@kudling.de writes: To reproduce: 1) Look for data IO on Hoogle, e.g.

Re: [Haskell-cafe] Why does cabal select base-3.0.3.2 when base-4.2.0.0 is available?

2010-04-26 Thread Ivan Lazar Miljenovic
Bjorn Buckwalter bjorn.buckwal...@gmail.com writes: Why does cabal seem to prefer base-3.0.3.2 over base-4.2.0.0 when installing packages with an unqualified base requirement? Example: You mean cabal-install rather than Cabal. The reason that base-3 is chosen is because many of these old

Re: [Haskell-cafe] Ada-style ranges

2010-04-26 Thread Steffen Schuldenzucker
On 04/26/2010 12:50 PM, hask...@kudling.de wrote: Hi list, how would you describe Ada's ranges in Haskell's typesystem? http://en.wikibooks.org/wiki/Ada_Programming/Types/range Hi Lenny, can non-constant expressions be given as arguments to 'range'? If not, then what about a

Fwd: Re: [Haskell-cafe] Broken ghc documentation links

2010-04-26 Thread hask...@kudling.de
FYI   -- Ursprüngliche Nachricht -- Von: hask...@kudling.de hask...@kudling.de An: Ivan Lazar Miljenovic ivan.miljeno...@gmail.com Cc: Neil Mitchell ndmitch...@gmail.com Datum: 26. April 2010 um 13:45 Betreff: Re: [Haskell-cafe] Broken ghc documentation links Hi,   So, the

Re: [Haskell-cafe] Why does cabal select base-3.0.3.2 when base-4.2.0.0 is available?

2010-04-26 Thread Bjorn Buckwalter
On Mon, Apr 26, 2010 at 19:38, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Bjorn Buckwalter bjorn.buckwal...@gmail.com writes: Why does cabal seem to prefer base-3.0.3.2 over base-4.2.0.0 when installing packages with an unqualified base requirement? Example: You mean cabal-install

Re: [Haskell-cafe] Broken ghc documentation links

2010-04-26 Thread Daniel Fischer
Am Montag 26 April 2010 13:36:22 schrieb Ivan Lazar Miljenovic: So, the problem is that there are broken links _in Hoogle_; No, hoogle just sends you to http://www.haskell.org/ghc/docs/6.12.2/html/libraries/base-4.2.0.1/Prelude.html#t%3AIO , which does exist. It's the 'Source' link in the

Re: [Haskell-cafe] Why does cabal select base-3.0.3.2 when base-4.2.0.0 is available?

2010-04-26 Thread Ivan Lazar Miljenovic
Bjorn Buckwalter bjorn.buckwal...@gmail.com writes: On Mon, Apr 26, 2010 at 19:38, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Bjorn Buckwalter bjorn.buckwal...@gmail.com writes: Why does cabal seem to prefer base-3.0.3.2 over base-4.2.0.0 when installing packages with an

[Haskell-cafe] and [] = True; or [] = False

2010-04-26 Thread Bjorn Buckwalter
Dear all, Does it make good sense that 'and []' returns 'True' and 'or []' returns 'False'? The Haskell Road to Logic, Maths and Programming says so: The function or takes a list of truth values and returns True if at least one member of the list equals True, while and takes a list of truth

Re: [Haskell-cafe] and [] = True; or [] = False

2010-04-26 Thread Jochem Berndsen
Bjorn Buckwalter wrote: Dear all, Does it make good sense that 'and []' returns 'True' and 'or []' returns 'False'? The Haskell Road to Logic, Maths and Programming says so: The function or takes a list of truth values and returns True if at least one member of the list equals True,

Re: [Haskell-cafe] and [] = True; or [] = False

2010-04-26 Thread Miguel Mitrofanov
Well, what's the sum of an empty list? Seems naturally that it's 0, but why? Let's say that sum [] = x. If we take two lists, say, l1 = [1,2,3] and l2 = [4,5], then sum l1 + sum l2 = 6 + 9 = 15 = sum [1,2,3,4,5] = sum (l1 ++ l2) We expect it to be the case even if one of the lists is empty,

Re: [Haskell-cafe] and [] = True; or [] = False

2010-04-26 Thread Daniel Fischer
Am Montag 26 April 2010 14:15:40 schrieb Bjorn Buckwalter: Dear all, Does it make good sense that 'and []' returns 'True' and 'or []' returns 'False'? The Haskell Road to Logic, Maths and Programming says so: The function or takes a list of truth values and returns True if at least one

Re: [Haskell-cafe] Why does cabal select base-3.0.3.2 when base-4.2.0.0 is available?

2010-04-26 Thread Bjorn Buckwalter
On Mon, Apr 26, 2010 at 20:07, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Bjorn Buckwalter bjorn.buckwal...@gmail.com writes: On Mon, Apr 26, 2010 at 19:38, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Bjorn Buckwalter bjorn.buckwal...@gmail.com writes: Why does cabal

Re: [Haskell-cafe] and [] = True; or [] = False

2010-04-26 Thread Miguel Mitrofanov
Forgot about this one: Bjorn Buckwalter wrote: What got me thinking about this was the apparently incorrect intuition that 'and xs' would imply 'or xs'. No. See, and is very close to for all, and or is similarly close to exists. For example, the statement all crows are black means just this

Re: [Haskell-cafe] Why does cabal select base-3.0.3.2 when base-4.2.0.0 is available?

2010-04-26 Thread Daniel Fischer
Am Montag 26 April 2010 14:32:03 schrieb Bjorn Buckwalter: So what would be the fix, to set an upper bound on base? Is the general recommendation that all packages should specify upper bounds on all dependencies (if so why doesn't Cabal tell us?)? Yes, that's the general recommendation.

Re: [Haskell-cafe] Why does cabal select base-3.0.3.2 when base-4.2.0.0 is available?

2010-04-26 Thread Ivan Lazar Miljenovic
Bjorn Buckwalter bjorn.buckwal...@gmail.com writes: So what would be the fix, to set an upper bound on base? The fix is to have the maintainer check whether or not the package builds with base-4 (you can do this the old manual way using runhaskell Setup.hs). If it does, then specify that it

Re: [Haskell-cafe] and [] = True; or [] = False

2010-04-26 Thread Neil Brown
Bjorn Buckwalter wrote: Dear all, Does it make good sense that 'and []' returns 'True' and 'or []' returns 'False'? It's certainly what I would expect it to do, based on several ways of thinking. 1: If we define the function using explicit recursion: and (x:xs) = x and xs Therefore and []

Re: [Haskell-cafe] and [] = True; or [] = False

2010-04-26 Thread Bjorn Buckwalter
Ok Guys, you've convinced me thrice within ten minutes of posing my question. The quality of the mailing list is just ridiculous! ;) And Miguel, thanks for the follow-up regarding for all and exists – it's an excellent analogy and easy to remember! On Mon, Apr 26, 2010 at 20:23, Jochem Berndsen

Re: [Haskell-cafe] Broken ghc documentation links

2010-04-26 Thread Ivan Lazar Miljenovic
Daniel Fischer daniel.is.fisc...@web.de writes: Am Montag 26 April 2010 13:36:22 schrieb Ivan Lazar Miljenovic: So, the problem is that there are broken links _in Hoogle_; No, hoogle just sends you to http://www.haskell.org/ghc/docs/6.12.2/html/libraries/base-4.2.0.1/Prelude.html#t%3AIO ,

[Haskell-cafe] Installing ghc in an OpenSolaris Zone

2010-04-26 Thread Günther Schmidt
Hello, has anyone yet managed to install ghc (6.10.4) into an OpenSolaris zone? Günther ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] The instability of Haskell libraries

2010-04-26 Thread John Goerzen
On 04/25/2010 03:47 PM, Ivan Lazar Miljenovic wrote: So you recommend having packages specifically for instances? My main problem with this is if you want a custom variant of that instance. Let's take FGL graphs for example with instances for QuickCheck's Arbitrary class. Maybe you want

[Haskell-cafe] ANNOUNCE: graphviz 2999.9.0.0

2010-04-26 Thread Ivan Lazar Miljenovic
I'm pleased to announce the latest version of my graphviz library that provides Haskell bindings to the Graphviz graph visualisation suite. There are numerous changes in this release, the most important of which are: * graphviz now has an FAQ and an improved README as well as its own

[Haskell-cafe] Re: ANNOUNCE: graphviz 2999.9.0.0

2010-04-26 Thread Ivan Miljenovic
A few things I forgot to mention in my haste to get this out: 1) I was planning on having a tutorial-style blog post where I'd use graphviz to parse an manipulate the output ghc-pkg dot; however I've been busier than I expected recently and figured it'd be better to get this release out and do

[Haskell-cafe] maling-list manager in haskell?

2010-04-26 Thread Günther Schmidt
Hi, is there a mailing-list manager written in haskell? Best regards Günther ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Broken ghc documentation links

2010-04-26 Thread Daniel Fischer
Am Montag 26 April 2010 15:15:03 schrieb Ivan Lazar Miljenovic: Daniel Fischer daniel.is.fisc...@web.de writes: Am Montag 26 April 2010 13:36:22 schrieb Ivan Lazar Miljenovic: So, the problem is that there are broken links _in Hoogle_; No, hoogle just sends you to

[Haskell-cafe] Order of arguments to GCC when building SDL on Windows with Cabal

2010-04-26 Thread JP Moresmau
Hello, I've been trying for a while to build the SDL haskell library on windows. People have told me it worked for them, but I can't get to work for the life of me. I have the latest Haskell Platform, I think more or less the latest MINGW and MSYS tools. I'm on Windows 7 64 bits. I installed the

Re: [Haskell-cafe] Bulk Synchronous Parallel

2010-04-26 Thread Thomas Horstmeyer
Hi Aaron, On 21.04.2010 20:29, Aaron D. Ball wrote: Unfortunately, Eden is one of the examples I had in mind when referring to distributed Haskell projects as overly complicated and [for practical purposes] dead. Their last release available for download was in 2006. Their beta is

[Haskell-cafe] Haddock infix constructors in markup

2010-04-26 Thread Ozgur Akgun
Hi all, If I have the following data type: data Expr = Num Int | Expr :+: Expr | Expr :-: Expr Haddock handles the infix constructors, and generates a very nice output (html in this case) However when I try to reference to one of the infix constructors in the markup of other functions it fails

Re: [Haskell-cafe] Haddock infix constructors in markup

2010-04-26 Thread Daniel Fischer
Am Montag 26 April 2010 18:15:02 schrieb Ozgur Akgun: Hi all, If I have the following data type: data Expr = Num Int | Expr :+: Expr | Expr :-: Expr Haddock handles the infix constructors, and generates a very nice output (html in this case) However when I try to reference to one of the

[Haskell-cafe] Fwd: Mancoosi International Solver Competition

2010-04-26 Thread Johannes Waldmann
This looks interesting: an international competition of solvers for package/component installation and upgrade problems. http://www.mancoosi.org/misc-2010/ (deadline: June 10) Is the underlying package dependency model the same as cabal's? If (nearly) so, then cabal's solver could enter the

Re: [Haskell-cafe] Build problems (hsp, trhsx, ultimately Happstack)

2010-04-26 Thread Alexander Solla
On Apr 23, 2010, at 2:59 PM, Thomas Hartman wrote: So, you might need to -- upgrade hsx -- make sure that the upgraded trhsx executable is the one being executed by cabal install hsx (maybe deleting/temporarily moving other trhsx exes) Unfortunately, this suggestion didn't work out for me.

Re: [Haskell-cafe] The instability of Haskell libraries

2010-04-26 Thread Brandon S. Allbery KF8NH
On Apr 26, 2010, at 09:33 , John Goerzen wrote: It would, however, be nice if the language allowed you to override default instances with the code in your own package. Many other languages refer to this kind of thing as monkey patching and warn against it because of the problems it causes.

[Haskell-cafe] Re: What do _you_ want to see in FGL?

2010-04-26 Thread Louis Wasserman
I'm a fan of making FGL more record-based, but definitely keeping the inductive graph style. My own biggest gripe with previous versions of FGL was that the graph implementations were severely underoptimized. In particular, PatriciaTree left open a *lot* of optimization. Ivan, would you like to

[Haskell-cafe] Rank-2 polymorphism and overloading

2010-04-26 Thread Thomas van Noort
Hello all, I'm having difficulties understanding rank-2 polymorphism in combination with overloading. Consider the following contrived definition: f :: (forall a . Eq a = a - a - Bool) - Bool f eq = eq True True Then, we pass f both an overloaded function and a regular polymorphic function:

[Haskell-cafe] Halp: wacky FFI problems

2010-04-26 Thread Louis Wasserman
Hey, I'm trying to do some funky things with the FFI, and I'm clueless enough with C that I could use some help. In particular, I'm trying to bind to the glpk library in a multithreaded style. It's not normally thread-safe, but somebody suggested how to make it safe here

Re: [Haskell-cafe] Rank-2 polymorphism and overloading

2010-04-26 Thread Jochem Berndsen
Thomas van Noort wrote: Hello all, I'm having difficulties understanding rank-2 polymorphism in combination with overloading. Consider the following contrived definition: f :: (forall a . Eq a = a - a - Bool) - Bool f eq = eq True True Then, we pass f both an overloaded function and a

Re: [Haskell-cafe] Rank-2 polymorphism and overloading

2010-04-26 Thread Daniel Fischer
Am Montag 26 April 2010 19:52:23 schrieb Thomas van Noort: Hello all, I'm having difficulties understanding rank-2 polymorphism in combination with overloading. Consider the following contrived definition: f :: (forall a . Eq a = a - a - Bool) - Bool f eq = eq True True Then, we pass f

[Haskell-cafe] The Poor Man's PVP-Checking Tool

2010-04-26 Thread Neil Brown
Hi, The issue of a tool to help with checking packages against the Package Versioning Policy (PVP: http://www.haskell.org/haskellwiki/Package_versioning_policy) has come up several times on this list, and it seems to be a generally wanted tool. One of the things desired in such a tool is

Re: [Haskell-cafe] Haddock infix constructors in markup

2010-04-26 Thread David Waern
2010/4/26 Daniel Fischer daniel.is.fisc...@web.de: Am Montag 26 April 2010 18:15:02 schrieb Ozgur Akgun: Hi all, If I have the following data type: data Expr = Num Int | Expr :+: Expr | Expr :-: Expr Haddock handles the infix constructors, and generates a very nice output (html in this

Re: [Haskell-cafe] Rank-2 polymorphism and overloading

2010-04-26 Thread Thomas van Noort
On 26-4-2010 20:13, Jochem Berndsen wrote: Thomas van Noort wrote: ... f requires a function that is able to compute, for two values of type a (which instantiates Eq), a Boolean. y certainly fulfills that requirement: it does not even require that the values are of a type instantiating Eq.

Re: [Haskell-cafe] Rank-2 polymorphism and overloading

2010-04-26 Thread Thomas van Noort
On 26-4-2010 20:12, Daniel Fischer wrote: Am Montag 26 April 2010 19:52:23 schrieb Thomas van Noort: ... Yes, y's type is more general than the type required by f, hence y is an acceptable argument for f - even z :: forall a b. a - b - Bool is. That's what I thought. I've just never seen

Re: [Haskell-cafe] Build problems (hsp, trhsx, ultimately Happstack)

2010-04-26 Thread Jeremy Shaw
Hello, Does trying to install hsp-0.5.1 work any better? - jeremy On Apr 26, 2010, at 12:27 PM, Alexander Solla wrote: On Apr 23, 2010, at 2:59 PM, Thomas Hartman wrote: So, you might need to -- upgrade hsx -- make sure that the upgraded trhsx executable is the one being executed by cabal

[Haskell-cafe] Run haskell program in emacs without typing main in the ghci buffer.

2010-04-26 Thread Zura_
Hello, Is it possible to run haskell program in emacs without typing main in the ghci buffer? Assuming main function exists of course. Or, maybe automate sending main\n string to ghci buffer input. In other words, I want edit/run/see result style session. Thanks in advance, Zura -- View this

Re: [Haskell-cafe] Build problems (hsp, trhsx, ultimately Happstack)

2010-04-26 Thread Alexander Solla
On Apr 26, 2010, at 12:30 PM, Jeremy Shaw wrote: Does trying to install hsp-0.5.1 work any better? I hadn't tried it, since it forces hsx-0.7 to install. But I gave it a shot, and it fails the same way: [ a...@kizaru:~/ ]$ cabal install hsp-0.5.1 Resolving dependencies... Configuring

Re: [Haskell-cafe] Haddock infix constructors in markup

2010-04-26 Thread Ozgur Akgun
So, how can we make use of this fix? On 26 April 2010 19:47, David Waern david.wa...@gmail.com wrote: 2010/4/26 Daniel Fischer daniel.is.fisc...@web.de: Am Montag 26 April 2010 18:15:02 schrieb Ozgur Akgun: Hi all, If I have the following data type: data Expr = Num Int | Expr :+:

Re: [Haskell-cafe] Haddock infix constructors in markup

2010-04-26 Thread Daniel Fischer
Am Montag 26 April 2010 22:05:48 schrieb Ozgur Akgun: So, how can we make use of this fix? My guess: $ cabal install haddock-2.7.2 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Build problems (hsp, trhsx, ultimately Happstack)

2010-04-26 Thread Gregory Collins
Alexander Solla a...@2piix.com writes: On Apr 26, 2010, at 12:30 PM, Jeremy Shaw wrote: Does trying to install hsp-0.5.1 work any better? I hadn't tried it, since it forces hsx-0.7 to install. But I gave it a shot, and it fails the same way: [ a...@kizaru:~/ ]$ cabal install hsp-0.5.1

Re: [Haskell-cafe] Build problems (hsp, trhsx, ultimately Happstack)

2010-04-26 Thread Alexander Solla
On Apr 26, 2010, at 1:23 PM, Gregory Collins wrote: Is $HOME/.cabal/bin on your $PATH? Argh. I had ~/.cabal/bin in my $PATH instead of $HOME/.cabal/bin. I'm still not sure what the semantic difference is in this use case, but one ($HOME) works and the other (~/) doesn't. Thanks

Re: [Haskell-cafe] Build problems (hsp, trhsx, ultimately Happstack)

2010-04-26 Thread Daniel Fischer
Am Montag 26 April 2010 22:23:42 schrieb Gregory Collins: Alexander Solla a...@2piix.com writes: On Apr 26, 2010, at 12:30 PM, Jeremy Shaw wrote: Does trying to install hsp-0.5.1 work any better? I hadn't tried it, since it forces hsx-0.7 to install. But I gave it a shot, and it fails

Re: [Haskell-cafe] Re: FRP for game programming / artifical life simulation

2010-04-26 Thread Peter Verswyvelen
2010/4/25 Patai Gergely patai_gerg...@fastmail.fm: (in my own FRP experiments I have an update thread and a render thread). I wonder how to nicely deal with state that requires communication with the outer world, even though it is functional at heart. For instance, if you want to change a

[Haskell-cafe] Haskell Weekly News?

2010-04-26 Thread aditya siram
Hi all, I haven't seen a Haskell Weekly News in a while. Is there anything I can do to help? -deech ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] and [] = True; or [] = False

2010-04-26 Thread Richard O'Keefe
On Apr 27, 2010, at 12:15 AM, Bjorn Buckwalter wrote: Dear all, Does it make good sense that 'and []' returns 'True' and 'or []' returns 'False'? YES! There is no other behaviour that would make sense. You wouldn't expect sum [] to return anything but 0, would you? What got me thinking

Re: [Haskell-cafe] Re: What do _you_ want to see in FGL?

2010-04-26 Thread Ivan Miljenovic
On 27 April 2010 03:39, Louis Wasserman wasserman.lo...@gmail.com wrote: I'm a fan of making FGL more record-based, but definitely keeping the inductive graph style. Definitely. My own biggest gripe with previous versions of FGL was that the graph implementations were severely

Re: [Haskell-cafe] Run haskell program in emacs without typing main in the ghci buffer.

2010-04-26 Thread Ivan Miljenovic
On 27 April 2010 05:43, Zura_ x...@gol.ge wrote: Is it possible to run haskell program in emacs without typing main in the ghci buffer? Assuming main function exists of course. Or, maybe automate sending main\n string to ghci buffer input. In other words, I want edit/run/see result style

Re: [Haskell-cafe] Haddock infix constructors in markup

2010-04-26 Thread Ivan Miljenovic
On 27 April 2010 02:15, Ozgur Akgun ozgurak...@gmail.com wrote: data Expr = Num Int | Expr :+: Expr | Expr :-: Expr [snip] -- | If the input is 'Num' does magic, if it is ':+:' does even more magic! someFunc :: Expr - Expr In the output of this markup, the 'Num' is hyperlinked but the

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-26 Thread Joe Fredette
Hehe, Mostly, at the moment, as I mentioned to Deech, what is holding me up is trying to get HWN and 7 classes worth of finals and papers done. This is the last two weeks of my last semester, but it should be all done soon. I hope to get HWN out shortly after it's all finished up. I

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-26 Thread Ivan Miljenovic
On 27 April 2010 10:08, Joe Fredette jfred...@gmail.com wrote:  I hope to get HWN out shortly after it's all finished up. I shall return! As long as you don't end up copying the Gentoo situation where the Gentoo Weekly News died, was resurrected (not sure how many times), was converted to the

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-26 Thread Joe Fredette
Most certainly, the HWN is easy to put together, it's just a little time consuming, the weekly schedule is just enough under a normal 40- hour courseload. When that number jumps into the high billions (as it did this last semester), it becomes someone more difficult to fit in. HWN will

Re: [Haskell-cafe] Proper Handling of Exceptional IEEE Floating Point Numbers

2010-04-26 Thread Roman Leshchinskiy
On 24/04/2010, at 22:42, Roman Leshchinskiy wrote: On 24/04/2010, at 22:06, Barak A. Pearlmutter wrote: I was thinking of this: data T = T Double deriving ( Eq, Ord ) ... GHC basically produces instance Ord T where compare (T x) (T y) = compare x y t u = compare t u == LT That

[Haskell-cafe] Re: Run haskell program in emacs without typing main in the ghci buffer.

2010-04-26 Thread Jose A. Ortega Ruiz
Zura_ x...@gol.ge writes: Hello, Is it possible to run haskell program in emacs without typing main in the ghci buffer? Assuming main function exists of course. Or, maybe automate sending main\n string to ghci buffer input. In other words, I want edit/run/see result style session. Assuming

  1   2   >