Re: [Haskell] Re: H/Direct (HaskellDirect) still maintained?

2006-09-08 Thread Andreas Marth
- Original Message - From: "Simon Marlow" <[EMAIL PROTECTED]> To: "Gracjan Polak" <[EMAIL PROTECTED]> Cc: Sent: Thursday, September 07, 2006 5:46 PM Subject: [Haskell] Re: H/Direct (HaskellDirect) still maintained? ... > You might want to look at > >http://darcs.haskell.org/vshaskel

[Haskell] How do I get a recent cabal for Windows?

2006-09-08 Thread Andreas Marth
Hallo! I just tried to install cabal-1.1.4 under Windows (Windows 2000 Professional). I downloaded the tar from the cabal page (www.haskell.org/cabal/download.html) unpacked it in a directory did "runghc Setup.lhs configure" (It didn't find haddock, happy, alex and ccphs but didn't complain), did

[Haskell] Re: H/Direct (HaskellDirect) still maintained?

2006-09-08 Thread Simon Marlow
Andreas Marth wrote: The question then arises what is a recent GHC version. I have ghc-6.4.2 installed and when I do a "runghc Setup.lhs configure" I get lots of unknown field errors. I guess the comlib depends on a newer version of cabal than 1.0? Ah yes, you probably need to upgrade Cabal.

Re: [Haskell] How do I get a recent cabal for Windows?

2006-09-08 Thread Neil Mitchell
Hi Andreas I found it really easy to install cabal from darcs, I put the instructions: http://www-users.cs.york.ac.uk/~ndm/projects/windows.php Basically, install GHC 6.4.2 - ignore all the "configure not found" messages, since they don't mean anything, then: darcs get --partial http://darcs.h

[Haskell] xml-rpc in hugs

2006-09-08 Thread David Tolpin
Hi, I'm trying to use xmlrpc module with hugs. The problems are not really related to this particulare module, so the question is here. A module generated from the DTD for XML-RPC by HaXml contains import in the following form: import Prelude (all, maybe, (++)) or something like that to

[Haskell] 6th Memory Management Network Workshop

2006-09-08 Thread Simon Marlow
[ posting on behalf of Richard Jones [EMAIL PROTECTED] ] ** * Call for Contributions * * 6th Memory Management Network Workshop * * Cambridge UK, Friday 10th November 2006 * **

Re: [Haskell] How do I get a recent cabal for Windows?

2006-09-08 Thread Andreas Marth
- Original Message - From: "Neil Mitchell" <[EMAIL PROTECTED]> To: "Andreas Marth" <[EMAIL PROTECTED]> Cc: Sent: Friday, September 08, 2006 12:21 PM Subject: Re: [Haskell] How do I get a recent cabal for Windows? > Hi Andreas > > I found it really easy to install cabal from darcs, I put

Re: [Haskell] How do I get a recent cabal for Windows?

2006-09-08 Thread Neil Mitchell
Hi Andreas, Does it meant to create a new cabal with the setup or should I always use setup instead of runghc? For installing Cabal, and ONLY cabal, do the ghc --make thingy, then use setup.exe for installing Cabal. Do not use that setup ever again. If I do the "setup configure" ... "setup i

Re: [Haskell] xml-rpc in hugs

2006-09-08 Thread Robert Dockins
On Sep 8, 2006, at 6:30 AM, David Tolpin wrote: Hi, I'm trying to use xmlrpc module with hugs. The problems are not really related to this particulare module, so the question is here. A module generated from the DTD for XML-RPC by HaXml contains import in the following form: import Pr

Re: [Haskell] How do I get a recent cabal for Windows?

2006-09-08 Thread Andreas Marth
- Original Message - From: "Neil Mitchell" <[EMAIL PROTECTED]> To: "Andreas Marth" <[EMAIL PROTECTED]> Cc: > > If I do the "setup configure" ... "setup install" in the Cabal directory I > > get a new Cabal (1.1.5.9.2) but that chrases like the one created with > > another cabal if used on

[Haskell] ANN: Haskell98 termination analyzer (AProVE)

2006-09-08 Thread Stephan Swiderski
Dear all, we are pleased to announce the integration of an    automatic Haskell98 termination analyzer in the termination tool AProVE [1]. Our tool accepts full Haskell as specified in the Haskell 98 Report and is available through our web interface [2]. USE Our tool checks termination of given

Re: [Haskell] How do I get a recent cabal for Windows?

2006-09-08 Thread Andreas Marth
Ups. I just discovert that that was with ghc-6.2.1. I will have to check what happens with ghc-6.4.2. Thanks for your help and have a nice weekend, Andreas - Original Message - From: "Neil Mitchell" <[EMAIL PROTECTED]> To: "Andreas Marth" <[EMAIL PROTECTED]> Cc: Sent: Friday, September

Re: [Haskell] Re: H/Direct (HaskellDirect) still maintained?

2006-09-08 Thread Andreas Marth
Now that I used a more recent ghc (6.4.2 which has cabal-1.1.4 installed) I did install comlib with it. But I am a bit surprised because it did not generate a ihc. So how do I get a Proxy from an idl-file now? If I look at the files in vsHaskell they state "Automatically generated by HaskellDirect

[Haskell] Re: ANN: Haskell98 termination analyzer (AProVE)

2006-09-08 Thread Ashley Yakeley
Stephan Swiderski wrote: Dear all, we are pleased to announce the integration of an automatic Haskell98 termination analyzer Cool! So are there an infinite number of twin primes or not? -- Ashley Yakeley Seattle, WA ___ Haskell mailing list Has

Re: [Haskell] Re: ANN: Haskell98 termination analyzer (AProVE)

2006-09-08 Thread Bill Wood
On Fri, 2006-09-08 at 17:03 -0700, Ashley Yakeley wrote: . . . > Cool! So are there an infinite number of twin primes or not? We await the response with bated breath. On second thought, maybe that's not a good idea ... -- Bill Wood ___ Haskell ma

Re: [Haskell] Re: ANN: Haskell98 termination analyzer (AProVE)

2006-09-08 Thread Taral
On 9/8/06, Bill Wood <[EMAIL PROTECTED]> wrote: We await the response with bated breath. Don't hold your breath. -- Taral <[EMAIL PROTECTED]> "You can't prove anything." -- Gödel's Incompetence Theorem ___ Haskell mailing list Haskell@haskell.org