Re: [Haskell-cafe] GHC 7.0.1 developer challenges

2010-12-07 Thread Anders Kaseorg
On Sat, 2010-12-04 at 13:42 -0500, Brandon S Allbery KF8NH wrote: > We went over this some time back; the GHC runtime is wrong here, it > should only disable flags when running with geteuid() == 0. No. +RTS flags on the command line, at least, need to stay disabled in all cases, not just setuid b

Re: [Haskell-cafe] Location of .cabal folder

2010-12-07 Thread Michael Snoyman
Thanks Antoine, exactly the information I needed! Michael On Wed, Dec 8, 2010 at 7:07 AM, Antoine Latter wrote: > Hi Michael, > > Cabal-install uses: > >> System.Directory.getAppUserDataDirectory "cabal" > > in the module Distribution.Client.Config. > > Antoine > > On Tue, Dec 7, 2010 at 9:52 PM

Re: [Haskell-cafe] Location of .cabal folder

2010-12-07 Thread Antoine Latter
Hi Michael, Cabal-install uses: > System.Directory.getAppUserDataDirectory "cabal" in the module Distribution.Client.Config. Antoine On Tue, Dec 7, 2010 at 9:52 PM, Michael Snoyman wrote: > Hi all, > > I'm trying to figure out how to determine the location of the .cabal > folder. I'm trying t

[Haskell-cafe] Location of .cabal folder

2010-12-07 Thread Michael Snoyman
Hi all, I'm trying to figure out how to determine the location of the .cabal folder. I'm trying to release the code powering the package dependency site[1] as a standalone library/application, but currently I've simply hardcoded the path to my 00-index.tar file. Thanks, Michael [1] http://packde

Re: [Haskell-cafe] Offer to mirror Hackage

2010-12-07 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 12/7/10 18:53 , Darrin Chandler wrote: > On Tue, Dec 07, 2010 at 11:04:04PM +0100, Ketil Malde wrote: >> It's not obvious to me that adding a mirror makes the infrastructure >> more more insecure. Any particular concerns? (I hope I qualify as >> n

Re: [Haskell-cafe] Conditional compilation for different versions of GHC?

2010-12-07 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 12/7/10 06:00 , Henning Thielemann wrote: > Brandon S Allbery KF8NH wrote: >> Since the base package is (with good reason) part of the compiler, anyone >> smart enough to get that to work is smart enough to edit the cabal file. > > There are good r

Re: [Haskell-cafe] Question: mime-mail and base64 encoding

2010-12-07 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 12/7/10 01:21 , Nathan Howell wrote: > The way I've seen it done before was to: > - calculate the size of the body in quoted-printable and base64 encoding > - select the smaller encoded form of the two > > quoted-printable is fairly human readable.

Re: [Haskell-cafe] Offer to mirror Hackage

2010-12-07 Thread Darrin Chandler
On Tue, Dec 07, 2010 at 11:04:04PM +0100, Ketil Malde wrote: > It's not obvious to me that adding a mirror makes the infrastructure > more more insecure. Any particular concerns? (I hope I qualify as > naïve here :-) If you run a mirror people will come to you for software to run on their machin

Re: [Haskell-cafe] Offer to mirror Hackage

2010-12-07 Thread Ketil Malde
Brandon S Allbery KF8NH writes: >> IMO, mirroring is orthogonal to that, too. > Only if you consider security a minor or non-issue. What I mean is that you can mirror a repository regardless of whether packages are signed or not. > I'm tempted to say anyone who believes that on the modern In

[Haskell-cafe] Fwd: second call for papers: LDTA 2011 / ETAPS

2010-12-07 Thread Paul Brauner
-- Forwarded message -- From: Emilie Balland Date: Tue, Dec 7, 2010 at 10:35 PM Subject: second call for papers: LDTA 2011 / ETAPS To: "Paul.Brauner" LDTA 2011 Call for Papers and Tool Challenge Submissions 11th International Workshop on Lan

Re: [Haskell-cafe] Printing of asynchronous exceptions to stderr

2010-12-07 Thread Mitar
Hi! On Wed, Dec 1, 2010 at 10:50 AM, Simon Marlow wrote: >> Yes, but semantics are different. I want to tolerate some exception >> because they are saying I should do this and this (for example user >> interrupt, or timeout) but I do not want others, which somebody else >> maybe created and I do

Re: [Haskell-cafe] Offer to mirror Hackage

2010-12-07 Thread Duncan Coutts
On 4 December 2010 16:31, Dan Knapp wrote: > With Hackage down, now seemed like a good time to push this issue > again.  It's such an important site to us that it's really rather a > shame there are no mirrors of it.  I have a personal-and-business > server in a data center in Newark, with a fair

Re: [Haskell-cafe] An Haskell implementation of a sweep line algorithm for the detection of segments intersection

2010-12-07 Thread Henning Thielemann
On Mon, 6 Dec 2010, vince vegga wrote: Hi, Here is my Haskell implementation of the Shamos and Hoey algorithm for detecting segments intersection in the plane: http://neonstorm242.blogspot.com/2010/12/sweep-line-algorithm-for-detection -of.html I'm new to Haskell, so any useful comments will

Re: [Haskell-cafe] Offer to mirror Hackage

2010-12-07 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 12/7/10 08:07 , Ketil Malde wrote: > Dan Knapp writes: >> I agree that signed packages are a good idea. We should move with all >> haste to implement them. But I'm not sure we want to hold up >> everything else while we wait for that. > > IMO,

Re: [Haskell-cafe] LLVM, type-level?

2010-12-07 Thread Lally Singh
On Tue, Dec 7, 2010 at 1:31 PM, Henning Thielemann wrote: > > On Tue, 7 Dec 2010, Lally Singh wrote: > >> Hey all, >> >>  I'm generating a structure definition from input, and would like to >> generate some LLVM code that can use it.  I see an 'alloca' function >> in LLVM.Core that may do the tric

Re: [Haskell-cafe] Bifold: a simultaneous foldr and foldl

2010-12-07 Thread Henning Thielemann
Noah Easterly wrote: Somebody suggested I post this here if I wanted feedback. So I was thinking about the ReverseState monad I saw mentioned on r/haskell a couple days ago, and playing around with the concept of information flowing two directions when I came up with this function: bifold :

Re: [Haskell-cafe] LLVM, type-level?

2010-12-07 Thread Henning Thielemann
On Tue, 7 Dec 2010, Lally Singh wrote: Hey all, I'm generating a structure definition from input, and would like to generate some LLVM code that can use it. I see an 'alloca' function in LLVM.Core that may do the trick, but takes a static type (Ptr a), which I wouldn't have. Is there a dyna

Re: [Haskell-cafe] ANN: hledger 0.13

2010-12-07 Thread Simon Michael
Hi Peter, no reason as far as hledger and hledger-lib is concerned, but one of the add-on packages, which depends on them, also requires process 1.0.1.4. If you install hledger or hledger-lib with the older version of process, then cabal is not able to install the add-on package. Sorry fo

Re: [Haskell-cafe] Question: mime-mail and base64 encoding

2010-12-07 Thread Michael Snoyman
On Tue, Dec 7, 2010 at 8:21 AM, Nathan Howell wrote: > On Mon, Dec 6, 2010 at 8:42 PM, Michael Snoyman wrote: >> The request is to make both the HTML and plain text parts use base64 >> encoding by default. This *seems* to me to make a lot of sense, since >> it will ensure that your message arrive

[Haskell-cafe] LLVM, type-level?

2010-12-07 Thread Lally Singh
Hey all, I'm generating a structure definition from input, and would like to generate some LLVM code that can use it. I see an 'alloca' function in LLVM.Core that may do the trick, but takes a static type (Ptr a), which I wouldn't have. Is there a dynamic variant? I'm currently generating a T

Re: [Haskell-cafe] Help defining a Typeable polymorphic-state monad transformer

2010-12-07 Thread Brandon Simmons
On Mon, Dec 6, 2010 at 11:53 PM, Luke Palmer wrote: > This has nothing to do with a monad.  This is just about data.  You > want a type that can contain any Typeable type, and a safe way to cast > out of that type into the type that came in.  Such a thing exists, > it's called Data.Dynamic. > > Th

[Haskell-cafe] Ed Lambda: Functional programming meetup in Edinburgh

2010-12-07 Thread Ollie Saunders
It's that time again... When: Monday the 13th of December at 7:00pm Where: 12a The Outhouse, Broughton Street Lane, Edinburgh This month Chris Yocum will be talking about some functional fundamentals with his talk: The Loopless Loop: Perl and Ocaml as functional programming languages Phil Scott

Re: [Haskell-cafe] Question: mime-mail and base64 encoding

2010-12-07 Thread Nicolas Pouillard
On Mon, 6 Dec 2010 22:21:35 -0800, Nathan Howell wrote: > On Mon, Dec 6, 2010 at 8:42 PM, Michael Snoyman wrote: > > The request is to make both the HTML and plain text parts use base64 > > encoding by default. This *seems* to me to make a lot of sense, since > > it will ensure that your message

Re: [Haskell-cafe] Offer to mirror Hackage

2010-12-07 Thread Ketil Malde
Dan Knapp writes: > I agree that signed packages are a good idea. We should move with all > haste to implement them. But I'm not sure we want to hold up > everything else while we wait for that. IMO, mirroring is orthogonal to that, too. > That's also my take on a peer-peer repository, as I

Re: [Haskell-cafe] ANN: hledger 0.13

2010-12-07 Thread Peter Simons
Hi Simon, thank you very much for your efforts. I wonder whether there is any particular reason why hledger won't build with process-1.0.1.3? Take care, Peter ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listin

Re: [Haskell-cafe] Categorical description of systems with dependent types

2010-12-07 Thread Petr Pudlak
Hi, thanks to all who gave me valuable pointers to what to study. It will take me some time to absorb that, but it helped a lot. Best regards, Petr On Thu, Dec 02, 2010 at 02:25:41PM -0500, Dan Doel wrote: On Thursday 02 December 2010 10:13:32 am Petr Pudlak wrote: Hi, recently,