[Haskell-cafe] dependent types

2010-04-11 Thread Andrew U. Frank
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 size less than a constant. big_boat is a vessel with a larger size. for example, many legal classifications are expressed in this form (e.g. car vs. truck)

[Haskell-cafe] ANN: haskell-src-exts 1.9.0

2010-04-11 Thread Niklas Broberg
Fellow Haskelleers, I'm pleased to announce the release of haskell-src-exts-1.9.0! * On hackage: http://hackage.haskell.org/package/haskell-src-exts * Via cabal: cabal install haskell-src-exts * Darcs repo: http://code.haskell.org/haskell-src-exts 1.8.2 -- 1.9.0 === * OptionPragma

[Haskell-cafe] Dutch HUG Day: Program and Call for Participation

2010-04-11 Thread Sean Leather
[Apologies for multiple copies.] --- Dutch HUG Day 24 April 2010 Ordina office Niewegein, The Netherlands --- *** *** Please register! *** *** Email Sean Leather leat...@cs.uu.nl by 20 April! ***

[Haskell-cafe] Re: dependent types

2010-04-11 Thread Maciej Piechotka
On Sun, 2010-04-11 at 10:59 +0200, Andrew U. Frank 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 size less than a constant. big_boat is a vessel with a larger size. for example, many legal

[Haskell-cafe] Re: GSoC proposal: Extend Cabal Preprocessors.

2010-04-11 Thread Duncan Coutts
On Thu, 2010-04-08 at 22:10 -0400, Diego Echeverri wrote: Hi! I finish writing my proposal (maybe a bit too late). I would be glad to read any feedback. Hi Diego, Generally a good proposal. It would be great for Cabal's Simple build system to be able deal with pre-processor chaining and

Re: [Haskell-cafe] Cabal-install

2010-04-11 Thread Duncan Coutts
On Mon, 2010-03-08 at 17:33 +, Andrew Coppin wrote: Miguel Mitrofanov wrote: See http://www.haskell.org/cabal/ for more information. ^ | + Oh, sure, like I haven't already tried *that*. ;-) BTW, for future reference, the

Re: [Haskell-cafe] Cabal dependency hell

2010-04-11 Thread Duncan Coutts
On Mon, 2010-03-08 at 13:33 +, Maciej Piechotka wrote: While I love Haskell it's packaging system have some problems - especially with parsec. Currently I'm not able to install an practically anything using cabal due to version mismatches (or at least packages linking to both version of

Re: [Haskell-cafe] Multiple versions of a cabal package Or what's the right way to update?

2010-04-11 Thread Duncan Coutts
On Sun, 2010-03-14 at 17:50 +0100, david fries wrote: Dear Caféistas I desperately need your collective knowledge I have been working on porting the haskell-platform to the FreeBSD operating system for a while now and some versioning issues have come up. FreeBSD is still running on

Re: [Haskell-cafe] Cabal dependency hell

2010-04-11 Thread Maciej Piechotka
* 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 make it clearer to maintainers if their dependency

Re: [Haskell-cafe] Difficulties installing LLVM bindings

2010-04-11 Thread Aran Donohue
To actually build the examples, I also needed to remove references to the addCondPropagation optimization pass. I don't know why. I attached the darcs patch I'm using. Aran On Sat, Apr 10, 2010 at 4:42 PM, Aran Donohue aran.dono...@gmail.comwrote: UNIVERSAL=1 worked for me too. Is there a way

Re: [Haskell-cafe] passing cpp options to c2hs from cabal

2010-04-11 Thread Duncan Coutts
On Mon, 2010-03-01 at 10:07 -0500, Chris Casinghino wrote: This works great, thanks! As a footnote: I doubt I will be the only one is confused because cc-options get passed to c2hs but cpp-options don't. Perhaps the cabal designers should revisit this choice. I mostly agree. What is a bit

Re: [Haskell-cafe] Alternative dependencies in Cabal file

2010-04-11 Thread Duncan Coutts
On Fri, 2010-03-19 at 00:34 +0100, Henning Thielemann wrote: Matthias Reisner schrieb: Thanks, I missed that the flags are set dynamically if a dependency cannot be satisfied. Only cabal-install does this, plain Cabal only takes flags that were set by the user. No, plain Cabal does it

Re: [Haskell-cafe] developing against privately patched libraries, and cabal

2010-04-11 Thread Duncan Coutts
On Sun, 2010-03-21 at 13:15 -0400, Leon Smith wrote: As somebody who's hacked on cabal-install a bit (but don't have a worthwhile patch to contribute (yet?)), I can tell you that versions support a tag structure, at least internally, but I haven't seen a non-empty tags field and don't know

Re: [Haskell-cafe] libraries and executables in cabal

2010-04-11 Thread Duncan Coutts
On Thu, 2010-03-25 at 14:52 +0100, Paul Brauner wrote: Hi, i'm working on a project made of - lots of modules - one excutable importing these modules - another excutable importing these same modules I don't especially want to expose those modules as libraries, especially on

Re: [Haskell-cafe] Cabal dependency hell

2010-04-11 Thread Daniel Fischer
Am Sonntag 11 April 2010 18:43:30 schrieb Maciej Piechotka: * 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 make it

Re: [Haskell-cafe] Cabal dependency hell

2010-04-11 Thread Edward Z. Yang
Excerpts from Daniel Fischer's message of Sun Apr 11 16:20:30 -0400 2010: I think in the default cabal config, build-reporting would be turned off and you'd have to turn it on yourself. Turning it on by default wouldn't be sensible. I doubt you'd get very much runtime with that. I'd suggest

Re: [Haskell-cafe] Cabal dependency hell

2010-04-11 Thread Jason Dagit
On Sun, Apr 11, 2010 at 9:26 AM, Duncan Coutts duncan.cou...@googlemail.com wrote: On Mon, 2010-03-08 at 13:33 +, Maciej Piechotka wrote: While I love Haskell it's packaging system have some problems - especially with parsec. Currently I'm not able to install an practically anything

Re: [Haskell-cafe] Cabal dependency hell

2010-04-11 Thread Ivan Lazar Miljenovic
Edward Z. Yang ezy...@mit.edu 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 Microsoft? I don't know about you, but I

Re: [Haskell-cafe] dependent types

2010-04-11 Thread Jason Dagit
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 size less than a constant. big_boat is a vessel with a larger size. for

Re: [Haskell-cafe] Cabal dependency hell

2010-04-11 Thread Edward Z. Yang
Excerpts from Ivan Lazar Miljenovic's message of Sun Apr 11 17:37:15 -0400 2010: Edward Z. Yang ezy...@mit.edu 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

Re: [Haskell-cafe] dependent types

2010-04-11 Thread Ozgur Akgun
On 11 April 2010 22:54, Jason Dagit da...@codersbase.com wrote: ... class Vehicle a where data Car data Truck instance Vehicle Car where instance Vehicle Truck where Now you can have things that take a Car or a Truck or they can take a Vehicle instead. moveVehicle :: Vehicle v = v

Re: [Haskell-cafe] dependent types

2010-04-11 Thread Jason Dagit
On Sun, Apr 11, 2010 at 4:15 PM, Ozgur Akgun ozgurak...@gmail.com wrote: On 11 April 2010 22:54, Jason Dagit da...@codersbase.com wrote: ... class Vehicle a where data Car data Truck instance Vehicle Car where instance Vehicle Truck where Now you can have things that take a Car

Re: [Haskell-cafe] floating-point comparison (was haskell gsoc proposal for richer numerical type classes and supporting algorithms)

2010-04-11 Thread Jason Dagit
On Thu, Apr 8, 2010 at 7:29 PM, Doug Burke doug_j_bu...@yahoo.com wrote: --- On Thu, 4/8/10, Gregory Crosswhite gcr...@phys.washington.edu wrote: From: Gregory Crosswhite gcr...@phys.washington.edu On a tangental note, I've considered coding up a package with an AlmostEq typeclass

[Haskell-cafe] Cabal, GHC and Preprocessors

2010-04-11 Thread Ashley Yakeley
I want identifier concatenation in Haskell. For instance: #define CDecl(n) = class C_##n a where { f_##n :: a }; CDecl(1) CDecl(2) CDecl(3) (Actual motivator involves generating by type kind.) I have no trouble switching on CPP, but this doesn't work. The trouble is, GHC uses gcc for