[Haskell-cafe] Parsing Haskell in Parsec

I'm trying to write a parser for a small functional language in Parsec, as part of a larger project of porting thisfrom ocaml to Haskell. I was wondering if there was a parser for Haskell written in Parsec that I could use as a reference. --

Re: [Haskell-cafe] [Agda] Defining subtraction for naturals

On Thursday 17 March 2011 6:41:33 PM wren ng thornton wrote: > How about "pragmatically efficacious"? Well... > (3) Use type hackery to disallow performing subtraction when the result > would drop below zero, e.g. by requiring a proof that the left argument > is not less than the right. As far a

Re: [Haskell-cafe] Trac login problem

I've experienced very similar problems several times on both the ghc and cabal trac instances. I think resetting your password is (or was) breaking accounts. Now I just stick to guest login accounts on all the haskell.org trac instances. Ideally, all the trac instances, haskell wiki and etc, used

[Haskell-cafe] Trac login problem

Hi, I have a problem while trying to login to Haskell Trac instance. Entering the username and password that I know are valid gives me a login error. Trying to recover the password with the mail address that I use gives another error saying that there is no combination between the username and the

[Haskell-cafe] Gtk2hs multiple column TreeView with ListStore issue

I cannot force GTK to render data in TreeView with ListStore model with multiple columns through Haskell. I have the following code addTextColumn view name = do col <- treeViewColumnNew rend <- cellRendererTextNew treeViewColumnSetTitle col name treeViewColumnPackStart col

[Haskell-cafe] [haskell-gsoc] Haskell.org Google Summer of Code 2011

It is that time of year again. The Google Summer of Code is upon us! *Sign Up Information* If you are a student and want to sign up to make $5,000 for hacking on the code you love over the summer or are willing to help out as a mentor, now is the time to act. Please sign up by adding your name to

Re: [Haskell-cafe] Cabal test interface, what/where is it?

On Fri, Mar 18, 2011 at 06:47:58PM -0500, Thomas Tuegel wrote: > On Fri, Mar 18, 2011 at 3:51 PM, Magnus Therning wrote: > > On Fri, Mar 18, 2011 at 09:35:51PM +0100, JP Moresmau wrote: > >> Hello, the following URL contains some useful information: > >> http://www.haskell.org/cabal/release/cabal-

Re: [Haskell-cafe] Anyone recommend a VPS?

Hi We run a the whole of our distributed file system (AFS) on a single AWS micro instance with linux containers inside. We then use other instances for various things as/when needed (using kerberos to distributed the management and control to the appropriate people). For example we have a

Re: [Haskell-cafe] Anyone recommend a VPS?

If you need to run your server continuously you might be better off with a cheap dedicated server. To run my quid2.org site, a rather complex setup with a web server and a number of background haskell processes, I use a server from the French provider OVH/Kimsufi (http://www.kimsufi.co.uk/ and ht

Re: [Haskell-cafe] Anyone recommend a VPS?

Does anyone have any Binaries that are built to run on EC2? That would be super! On Tue, Feb 2, 2010 at 1:11 AM, Jason Dusek wrote: > 2010/01/31 Marc Weber : >> If all you want is standard debian or such it does'nt matter. >> However I tried installing NixOS Linux and I've had lot's of >> troubl