Re: [Haskell-cafe] GPL License of H-Matrix and prelude numeric

2011-01-26 Thread Antoine Latter
On Wed, Jan 26, 2011 at 1:27 AM, Chris Smith wrote: > On Tue, 2011-01-25 at 23:03 -0800, John Millikin wrote: >> It's not possible for a .cabal file to specify which license the final >> binaries will use -- it depends on what libraries are locally >> installed, what flags the build uses, and what

Re: [Haskell-cafe] GPL License of H-Matrix and prelude numeric

2011-01-26 Thread Maciej Piechotka
On Tue, 2011-01-25 at 22:21 -0800, John Millikin wrote: > On Tue, Jan 25, 2011 at 22:14, Ivan Lazar Miljenovic > wrote: > > However, my understanding that this property is then transitive: if > > Foo is GPL, Bar depends on Foo and Baz depends on Bar, then Baz must > > also be released under a GPL-

Re: [Haskell-cafe] GPL License of H-Matrix and prelude numeric

2011-01-26 Thread Maciej Piechotka
On Wed, 2011-01-26 at 08:11 +0100, Ketil Malde wrote: > David Leimbach writes: > > > BSD3 doesn't really state anything about what it links with, but the > GPL > > injects itself into the tree of stuff it's linked with via the > derivative > > works clause. > > I'm not an IP lawyer either (tha

Re: [Haskell-cafe] GPL License of H-Matrix and prelude numeric

2011-01-26 Thread Maciej Piechotka
On Tue, 2011-01-25 at 22:01 -0800, John Millikin wrote: > On Tue, Jan 25, 2011 at 21:51, Chris Smith wrote: > > On Tue, 2011-01-25 at 21:41 -0800, John Millikin wrote: > >> Licensing is a property of the code, not the package; Cabal's > >> licensing field is only a useful shorthand for "most of th

Re: [Haskell-cafe] GPL License of H-Matrix and prelude numeric

2011-01-26 Thread Ketil Malde
Chris Smith writes: > I definitely interpret the license field in Cabal to refer to the terms > and conditions that govern distribution of the entire program or library > as a unit, including binaries. I disagree, I've always interpreted the license to cover the text in that particular package.

[Haskell-cafe] ANN: hmatrix-0.11

2011-01-26 Thread Alberto Ruiz
Hi all, I am happy to announce hmatrix-0.11, a package for numerical computation based on LAPACK and GSL. Home page: http://code.haskell.org/hmatrix/ Hackage: http://hackage.haskell.org/package/hmatrix Recent changes: http://code.haskell.org/hmatrix/CHANGES By default this version uses Data.V

[Haskell-cafe] Takusen and QuickCheck

2011-01-26 Thread Dmitry Olshansky
Hello, I have a problem with using Takusen in my current project because it uses old QuickCheck 1.*. This leads to conflict with other packages which use QuickCheck 2.*. Could someone help me to decide this problem? Best wishes, Dmitry ___ Haskell-Cafe

[Haskell-cafe] community.haskell.org is down

2011-01-26 Thread Yitzchak Gale
The community server, on which resides the domains: community.haskell.org projects.haskell.org code.haskell.org trac.haskell.org planet.haskell.org is down, due to a hacker attack. Rather than trying to repair the old machine it was on, this is the time to migrate this server (finally) to the ne

Re: [Haskell-cafe] Takusen and QuickCheck

2011-01-26 Thread Jason Dagit
On Wed, Jan 26, 2011 at 6:47 AM, Dmitry Olshansky wrote: > Hello, > > I have a problem with using Takusen in my current project because it uses > old QuickCheck 1.*. This leads to conflict with other packages which use > QuickCheck 2.*. > Could someone help me to decide this problem? > Someone se

[Haskell-cafe] combined parsing & pretty-printing

2011-01-26 Thread Ozgur Akgun
Dear Café, I working on a DSL represented by a algebraic data type with many constructors. I can write (separately) a parser and a pretty-printer for it, and I am doing so at the moment. However, this way it feels like repeating the same information twice. Is there any work to combine the two? B

Re: [Haskell-cafe] combined parsing & pretty-printing

2011-01-26 Thread Brent Yorgey
On Wed, Jan 26, 2011 at 04:22:00PM +, Ozgur Akgun wrote: > Dear Café, > > I working on a DSL represented by a algebraic data type with many > constructors. I can write (separately) a parser and a pretty-printer for it, > and I am doing so at the moment. However, this way it feels like repeatin

Re: [Haskell-cafe] combined parsing & pretty-printing

2011-01-26 Thread malcolm.wallace
Tillmann Rendel and Klaus Ostermann. "Invertible syntax descriptions: Unifying parsing and pretty printing".Haskell Symposium 2010.Regards,MalcolmOn 26 Jan, 2011,at 04:22 PM, Ozgur Akgun wrote:Dear Café,I working on a DSL represented by a algebraic data type with many constructors. I can write

Re: [Haskell-cafe] combined parsing & pretty-printing

2011-01-26 Thread Jonas Almström Duregård
Depending on your concrete syntax, you may be able to use BNFC (http://hackage.haskell.org/package/BNFC). /J On 26 January 2011 17:22, Ozgur Akgun wrote: > Dear Café, > I working on a DSL represented by a algebraic data type with many > constructors. I can write (separately) a parser and a prett

Re: [Haskell-cafe] combined parsing & pretty-printing

2011-01-26 Thread Steffen Schuldenzucker
On 01/26/2011 05:22 PM, Ozgur Akgun wrote: I working on a DSL represented by a algebraic data type with many constructors. I can write (separately) a parser and a pretty-printer for it, and I am doing so at the moment. However, this way it feels like repeating the same information twice. Is t

Re: [Haskell-cafe] GPL License of H-Matrix and prelude numeric

2011-01-26 Thread Chris Smith
On Wed, 2011-01-26 at 12:08 +0100, Ketil Malde wrote: > I disagree, I've always interpreted the license to cover the text in > that particular package. There seems to be a difference in focus here that's confusing to me. When I write a library, my primary concern is generally with helping others u

Re: [Haskell-cafe] GPL License of H-Matrix and prelude numeric

2011-01-26 Thread malcolm.wallace
> Installing executable(s) in /home/ketil/.cabal/bin > Executable 'foo' incorporates components with the following licenses: > GPL BSD3 LGPL > Executable 'bar' ... Furthermore, the example above could be greatly shortened by just saying "GPL". Complying with the terms of the GPL automatically i

Re: [Haskell-cafe] combined parsing & pretty-printing

2011-01-26 Thread Tillmann Rendel
Hi Ozgur, Ozgur Akgun wrote: I can write (separately) a parser and a pretty-printer [...] Is there any work to combine the two? Brent Yorgey wrote: Maybe take a look at "Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing" by Tillmann Rendel and Klaus Ostermann from last year

Re: [Haskell-cafe] combined parsing & pretty-printing

2011-01-26 Thread Chung-chieh Shan
Ozgur Akgun wrote in article in gmane.comp.lang.haskell.cafe: > I working on a DSL represented by a algebraic data type with many > constructors. I can write (separately) a parser and a pretty-printer for it, > and I am doing so at the moment. However, this way it feels like repeating > the sam

[Haskell-cafe] Conditionals and case expressions in do blocks

2011-01-26 Thread Edward Amsden
Inside a do block, I can very conveniently substitute let x = for either x <- return or let x = in do However, I can't do anything similar (that I know of) with if or case expressions. If I use if or case inside a do block, it's likely that I'm still using monadic expressions (at least in

Re: [Haskell-cafe] Conditionals and case expressions in do blocks

2011-01-26 Thread aditya siram
I think that for monads the cleanest way of doing conditional execution is using 'when' and 'unless' [1] and 'guard' if your type is a Monoid. -deech [1] http://www.haskell.org/ghc/docs/latest/html/libraries/base/Control-Monad.html#6 On Wed, Jan 26, 2011 at 2:22 PM, Edward Amsden wrote: > Ins

Re: [Haskell-cafe] Are constructors strict?

2011-01-26 Thread Jan Christiansen
Hi, On 22.01.2011, at 08:12, Sebastian Fischer wrote: Also, Jan, I don't understand your comment about continuation monads. Maybe I am a bit numb today.. What property do you mean do continuation monads have or not? I was wrong there. If there exist values x and y with x /= y and you hav

Re: [Haskell-cafe] Conditionals and case expressions in do blocks

2011-01-26 Thread Edward Amsden
Those functions are useful if I'm more interested in actions (for instance putStrLn) in IO, but they restrict the monad's return type to (). I'm often writing code like the following: do ... case ... of Foo x -> do ... ... return foobar Bar x -> do ...

Re: [Haskell-cafe] Conditionals and case expressions in do blocks

2011-01-26 Thread aditya siram
Yep, I do this often and it's pretty nasty. It's especially inconvenient that you don't have access to computations before the if, for example: do x <- something y <- something-else case y of Foo a -> do <--- I want access to 'x' here Bar b -> ... -deech On Wed,

Re: [Haskell-cafe] combined parsing & pretty-printing

2011-01-26 Thread Ozgur Akgun
Thanks for all the suggestions, and the great work by Tillmann. I'll have a look into the paper and the code, and try to see if it suits my needs. Thanks! 2011/1/26 Tillmann Rendel > Hi Ozgur, > > Ozgur Akgun wrote: > >> I can write (separately) a parser and a pretty-printer [...] >> >> Is ther

Re: [Haskell-cafe] Conditionals and case expressions in do blocks

2011-01-26 Thread Edward Z. Yang
Excerpts from Edward Amsden's message of Wed Jan 26 15:51:46 -0500 2011: > do > ... > case ... of > Foo x -> do ... > ... > return foobar > Bar x -> do ... > ... > return foobar There's not enough context here to say what is app

Re: [Haskell-cafe] Using IsString with attoparsec

2011-01-26 Thread Bryan O'Sullivan
On Tue, Jan 25, 2011 at 5:16 AM, Yitzchak Gale wrote: > I suggest adding the following type-specialized variants to > Data.Attoparsec.Char8: > > (<*.) :: Applicative f => f a -> f ByteString -> f a > (<*.) = (<*) > > (.*>) :: Applicative f => f ByteString -> f a -> f a > (.*>) = (*>) > Sounds re

Re: [Haskell-cafe] ANN: hmatrix-0.11

2011-01-26 Thread gutti
Hi Alberto. first of all thanks for an awesome library, it really makes life a lot easier. Then thanks as well for Your openness on the re-licensing issue. I played with the thought of starting some numeric software with haskell - haskell is a really exiting language in that respect, the eff

[Haskell-cafe] stat64 missing when loading download in GHCi

2011-01-26 Thread Magnus Therning
Don, I'm having issues with loading download in GHCi: Loading package download-0.3.1.1 ... linking ... : /usr/lib/ghc-6.12.3/site-local/download-0.3.1.1/HSdownload-0.3.1.1.o: unknown symbol `stat64' ghc: unable to load package `download-0.3.1.1' I found an old email you sent in 2008[1] on the sa

Re: [Haskell-cafe] web-routes and forms

2011-01-26 Thread Jeremy Shaw
On Wed, Jan 26, 2011 at 4:33 PM, Corentin Dupont wrote: > Now turning to digestive functors, I don't see where do goes the "A.action > actionURL" part that was in traditionnal forms? > It seems I need it for routing the result of the form. I think you will find formHtml is returning you the stuf

[Haskell-cafe] Problem about exception.

2011-01-26 Thread Magicloud Magiclouds
Hi, Consider such a case: I'm making a client program. There is a process, client and server exchange some information in a strict order. So I do (persudo code): exchange = do sendHello readMsg >>= expect hello processHelloReply sendWhatsyourname readMsg >>= expect name processNameReply

Re: [Haskell-cafe] Problem about exception.

2011-01-26 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 1/26/11 21:10 , Magicloud Magiclouds wrote: > Hi, > Consider such a case: I'm making a client program. There is a > process, client and server exchange some information in a strict > order. So I do (persudo code): > exchange = do > sendHello >

Re: [Haskell-cafe] Problem about exception.

2011-01-26 Thread Magicloud Magiclouds
On Thu, Jan 27, 2011 at 10:48 AM, Brandon S Allbery KF8NH wrote: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > On 1/26/11 21:10 , Magicloud Magiclouds wrote: >> Hi, >>   Consider such a case: I'm making a client program. There is a >> process, client and server exchange some information in

Re: [Haskell-cafe] Problem about exception.

2011-01-26 Thread Magicloud Magiclouds
On Thu, Jan 27, 2011 at 11:00 AM, Magicloud Magiclouds wrote: > On Thu, Jan 27, 2011 at 10:48 AM, Brandon S Allbery KF8NH > wrote: >> -BEGIN PGP SIGNED MESSAGE- >> Hash: SHA1 >> >> On 1/26/11 21:10 , Magicloud Magiclouds wrote: >>> Hi, >>>   Consider such a case: I'm making a client progr

Re: [Haskell-cafe] Problem about exception.

2011-01-26 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 1/26/11 22:00 , Magicloud Magiclouds wrote: > This is one way. But so the outer function could not know what > happened in "really wrong" situation. How so? (1) fromException lets you test it: if (fromException e :: Maybe ControlException) return

Re: [Haskell-cafe] Problem about exception.

2011-01-26 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 1/26/11 22:02 , Magicloud Magiclouds wrote: > Sorry, in last mail, I meant, in really wrong situation, there might > be other tens of unexpected command, I'd like to wrap them in one > exception, other than making tens of exceptions. I'm not sure y

Re: [Haskell-cafe] GPL License of H-Matrix and prelude numeric

2011-01-26 Thread Edward Kmett
On Tue, Jan 25, 2011 at 5:18 PM, Ivan Lazar Miljenovic < ivan.miljeno...@gmail.com> wrote: > On 26 January 2011 07:32, gutti wrote: > > The H-Matrix and the prelude numeric packages however, which in my mind > > cover really important ground work, are issued under the resprictive GPL. > > I think

Re: [Haskell-cafe] Problem about exception.

2011-01-26 Thread Magicloud Magiclouds
On Thu, Jan 27, 2011 at 11:09 AM, Brandon S Allbery KF8NH wrote: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > On 1/26/11 22:02 , Magicloud Magiclouds wrote: >> Sorry, in last mail, I meant, in really wrong situation, there might >> be other tens of unexpected command, I'd like to wrap the

Re: [Haskell-cafe] Problem about exception.

2011-01-26 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 1/26/11 22:13 , Magicloud Magiclouds wrote: > Yes, the problem is that Exception cannot hold anything in it. Things > like Either might work. I am thinking how to make it work with > StateT That wasn't my point, but sure it can. Go take a look

[Haskell-cafe] Haskell Weekly News: Issue 166 - January 26, 2011

2011-01-26 Thread Daniel Santa Cruz
Welcome to issue 166 of the HWN, a newsletter covering developments in the [1]Haskell community. This release covers the week of January 16 to 22, 2011. Announcements Sukit Tretriluxana [2]proudly announced version 1.0 of SiteBridge. He also included a short introductory video.

Re: [Haskell-cafe] community.haskell.org is down

2011-01-26 Thread wren ng thornton
On 1/26/11 10:20 AM, Yitzchak Gale wrote: The community server, on which resides the domains: community.haskell.org projects.haskell.org code.haskell.org trac.haskell.org planet.haskell.org is down, due to a hacker attack. What is the nature of the damage: was the machine corrupted or compro

Re: [Haskell-cafe] GPL License of H-Matrix and prelude numeric

2011-01-26 Thread wren ng thornton
On 1/26/11 5:51 AM, Maciej Piechotka wrote: Some projects (like Linux) remove this clause and I'm not sure how many projects are marked on hackage as GPL2 being GPL2-only. Technically GPLx and GPLy are incompatible for all x and y such that x /= y. The problem is that *technically* the phrasin

Re: [Haskell-cafe] GPL License of H-Matrix and prelude numeric

2011-01-26 Thread wren ng thornton
On 1/26/11 2:27 AM, Chris Smith wrote: and there will nearly always be some license that is the most restrictive of all that apply and so can be said to govern the end result by itself. All BSD3 licenses from different authors are "at the same level". To get the join of the licenses you must c

Re: [Haskell-cafe] community.haskell.org is down

2011-01-26 Thread Erik de Castro Lopo
wren ng thornton wrote: > What is the nature of the damage: was the machine corrupted or > compromised? I think it was the latter. > Aka, do I need new ssh keys etc? If all you had on the machine was public keys, then no. If you had private keys as well, then yes, definitely. Erik -- ---