[Haskell-cafe] Re: Cabal dependency hell

2010-04-12 Thread Heinrich Apfelmus
Edward Z. Yang wrote: Ivan Lazar Miljenovic's wrote: Edward Z. Yang writes: I doubt you'd get very much runtime with that. I'd suggest prompting the user to submit a failed build report if the build fails. Exactly like how Windows keeps prompting you to allow it to send an error report to

Re: [Haskell-cafe] Cabal, GHC and Preprocessors

2010-04-12 Thread Ashley Yakeley
On Mon, 2010-04-12 at 06:51 +0100, Malcolm Wallace wrote: Even without that, it may be possible to get what you want, using -pgmPcpphs -optP-cpp -optP-ansi that is, to override ghc's addition of -traditional with -ansi. However I'm not sure exactly what order the preprocessor arguments

Re: [Haskell-cafe] Re: Cabal dependency hell

2010-04-12 Thread Ivan Lazar Miljenovic
Heinrich Apfelmus apfel...@quantentunnel.de writes: Perhaps exactly when the user is prompted? Would you like to send an anonymous report of this build failure to hackage.org? Users have been uploading 189 reports so far; yours would be the 190th report that ensures high quality Haskell

[Haskell-cafe] Re: [Haskell] Monads Terminology Question

2010-04-12 Thread Conor McBride
Hi (Redirecting to cafe, for general chat.) On 12 Apr 2010, at 01:39, Mark Snyder wrote: Hello, I'm wondering what the correct terminology is for the extra functions that we define with monads. For instance, State has get and put, Reader has ask and local, etc. Is there a good name

Re: [Haskell-cafe] Cabal dependency hell

2010-04-12 Thread Duncan Coutts
On Sun, 2010-04-11 at 18:43 +0200, Maciej Piechotka wrote: * Build reporting in the hackage server The idea here is that cabal sends back anonymous reports to the server to say if a package compiled or not, and against what versions of dependencies. This would

Re: [Haskell-cafe] Cabal dependency hell

2010-04-12 Thread Duncan Coutts
On Sun, 2010-04-11 at 14:28 -0700, Jason Dagit wrote: I've noticed another type of diamond dependency problem. Suppose I build and install Foo today and it depends on Bar 2.0.0. In a week, I install Bar 2.0.1. Next I installed Baz that also depends on Bar, and it gets Bar 2.0.1. When I

Re: [Haskell-cafe] Cabal update problem

2010-04-12 Thread Duncan Coutts
On Fri, 2010-02-19 at 12:21 +0100, Maciej Podgurski wrote: Hi, after updating to cabal-install-0.8.0/Cabal-1.8.0.2 with GHC 6.10.4, I always get an error when updating the package list: cabal update Downloading the latest package list from hackage.haskell.org cabal:

Re: [Haskell-cafe] dependent types

2010-04-12 Thread Ben Millwood
On Sun, Apr 11, 2010 at 10:54 PM, Jason Dagit da...@codersbase.com wrote: Or, you could use witness types: data Vehicle classification = Vehicle { ... } mkCar :: Vehicle Car mkTruck :: Vehicle Truck Then you would export the smart constructors, (mkCar/mkTruck) without exporting the Vehicle

Re: [Haskell-cafe] Cabal dependency hell

2010-04-12 Thread Ketil Malde
Duncan Coutts duncan.cou...@googlemail.com writes: Here are a few things which I would like to see implemented that would help all this: * Build reporting in the hackage server The idea here is that cabal sends back anonymous reports to the server to say if a package

Re: [Haskell-cafe] Re: [Haskell] Monads Terminology Question

2010-04-12 Thread Stephen Tetley
Hi Conor William Harrison calls them 'non-proper morphisms' in his various papers modelling threads etc. using resumption monads. Best wishes Stephen ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

[Haskell-cafe] problem getting cabal-install to work on CentOS 5.2

2010-04-12 Thread Chris Dornan
Hi, I am trying to install cabal-install 0.8.2 with GHC 6.12.1 on a CentOS 5.2 system and am running up against a 'ExitFailure 127' error. I can download the package and run 'cabal install' inside the package directory and all will be fine, but if I let cabal download and install the

Re: [Haskell-cafe] Re: [Haskell] Monads Terminology Question

2010-04-12 Thread Conor McBride
Hi Stephen On 12 Apr 2010, at 13:00, Stephen Tetley wrote: Hi Conor William Harrison calls them 'non-proper morphisms' in his various papers modelling threads etc. using resumption monads. I like Bill's work on resumptions, but I'm not entirely convinced by this phrase, which strikes me

[Haskell-cafe] Re: Cabal dependency hell

2010-04-12 Thread Heinrich Apfelmus
Ivan Lazar Miljenovic wrote: Heinrich Apfelmus writes: Perhaps exactly when the user is prompted? Would you like to send an anonymous report of this build failure to hackage.org? Users have been uploading 189 reports so far; yours would be the 190th report that ensures high quality Haskell

Re: [Haskell-cafe] Cabal dependency hell

2010-04-12 Thread Jason Dagit
On Mon, Apr 12, 2010 at 4:00 AM, Duncan Coutts duncan.cou...@googlemail.com wrote: On Sun, 2010-04-11 at 14:28 -0700, Jason Dagit wrote: I've noticed another type of diamond dependency problem. Suppose I build and install Foo today and it depends on Bar 2.0.0. In a week, I install Bar

Re: [Haskell-cafe] Re: [Haskell] Monads Terminology Question

2010-04-12 Thread Stephen Tetley
Hi Conor Chuan-kai Lin uses 'effect basis' in the ICFP paper on the Unimo monads, otherwise I've seen 'operations' used. I'm on the fence for 'effect basis' vs. 'non-proper morphisms', but biased against 'operations' (as its not sufficiently characteristic). Best wishes Stephen

Re: [Haskell-cafe] dependent types

2010-04-12 Thread Jason Dagit
On Mon, Apr 12, 2010 at 4:32 AM, Ben Millwood hask...@benmachine.co.ukwrote: Personally I think this approach is all rather OO. The way that seems most natural to me is: moveVehicleAcrossBridge :: Bridge - Vehicle - Maybe Move moveVehicleAcrossBridge bridge { maxWeight = max } vehicle {

Re: [Haskell-cafe] dependent types

2010-04-12 Thread Anthony Cowley
On Sun, Apr 11, 2010 at 5:54 PM, Jason Dagit da...@codersbase.com wrote: On Sun, Apr 11, 2010 at 1:59 AM, Andrew U. Frank fr...@geoinfo.tuwien.ac.at wrote: in modeling real application we have often the case that the type of some object depends on a value. e.g. small_boat is a vessel with

[Haskell-cafe] mingw32_HOST_OS and friends

2010-04-12 Thread gladstein
Where can I find a list of such symbols and what they mean? Google finds lots of uses but no definitions, and I'd like to avoid guessing. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] ANN: vcd-0.0.0

2010-04-12 Thread Tom Hawkins
I uploaded a small library [1] for generating VCD files [2], which can be viewed with waveform tools like GTKWave [3]. Though VCD is commonly associated with Verilog simulation, at Eaton we use it to visualize vehicle data in realtime: data is pulled off the CAN bus, formated to VCD, then piped

[Haskell-cafe] Re: dependent types

2010-04-12 Thread Maciej Piechotka
On Mon, 2010-04-12 at 12:44 -0400, Anthony Cowley wrote: On Sun, Apr 11, 2010 at 5:54 PM, Jason Dagit da...@codersbase.com wrote: On Sun, Apr 11, 2010 at 1:59 AM, Andrew U. Frank fr...@geoinfo.tuwien.ac.at wrote: in modeling real application we have often the case that the type of some

Re: [Haskell-cafe] Re: [Haskell] Monads Terminology Question

2010-04-12 Thread aditya siram
Sorry to interject a noob comment, and maybe I am not understanding the question but why not just call MonadState etc. Monad subclasses? get and put would then be Monad subclass functions. -deech On 4/12/10, Stephen Tetley stephen.tet...@gmail.com wrote: Hi Conor Chuan-kai Lin uses 'effect

[Haskell-cafe] ANNOUNCE: darcs 2.4.1

2010-04-12 Thread Reinier Lamers
Hi all, The darcs team would like to announce the immediate availability of darcs 2.4.1. This release fixes a number of issues that were found in darcs 2.4. The most important of these issues were that darcs did not work on Windows shares, and that darcs would not work if it was built with a

[Haskell-cafe] Re: [Haskell] Monads Terminology Question

2010-04-12 Thread Mark Snyder
From: Conor McBride co...@strictlypositive.org To: Mark Snyder muddsny...@yahoo.com; haskell Cafe haskell-cafe@haskell.org Sent: Mon, April 12, 2010 5:34:05 AM Subject: Re: [Haskell] Monads Terminology Question Hi (Redirecting to cafe, for general chat.) On 12 Apr 2010, at 01:39, Mark Snyder

Re: [Haskell-cafe] Re: [Haskell] Monads Terminology Question

2010-04-12 Thread Stephen Tetley
On 12 April 2010 20:43, aditya siram aditya.si...@gmail.com wrote: [SNIP] ... why not just call MonadState etc. Monad subclasses? get and put would then be Monad subclass functions. Hi At a pinch, that would tie them into their (Haskell) implementation technique. Picking an example I'm