[Haskell-cafe] Re: Windows details

2008-09-13 Thread Jeff Zaroyko
Andrew Coppin andrewcoppin at btinternet.com writes: Jeff Zaroyko wrote: Andrew Coppin andrewcoppin at btinternet.com writes: Jeff Zaroyko wrote: In theory, you should be able to use mingw's windres tool to produce an object file from the resource definition which you'd

Re: [Haskell-cafe] Windows console

2008-09-13 Thread Max Bolingbroke
2008/9/12 Andrew Coppin [EMAIL PROTECTED]: Any ideas about the build log error that's preventing Hackage from autogenerating the documentation? That is a Cabal problem: Duncan Coutts tells me that it is fixed in HEAD, so documentation will be available on Hackage when they update the version of

Re: [Haskell-cafe] Windows console

2008-09-13 Thread Max Bolingbroke
2008/9/13 Brandon S. Allbery KF8NH [EMAIL PROTECTED]: Right. Unless you send an ^[^H]0;foo^G sequence (^[ being ESC) to your xterm. You'll find that the title changes to foo. 0 = both title and icon 1 = icon name 2 = titlebar text Most X11 terminal emulators use the same protocol. (ISTR

Re: [Haskell-cafe] Windows console

2008-09-13 Thread Max Bolingbroke
2008/9/13 Max Bolingbroke [EMAIL PROTECTED]: Interesting information. I'll look into adding this to my package then: cheers! Just FYI, I have now implemented and tested this feature. The new version, 0.5.0, is available on Hackage. Cheers, Max ___

Re: [Haskell-cafe] Windows console

2008-09-13 Thread Andrew Coppin
Max Bolingbroke wrote: 2008/9/13 Max Bolingbroke [EMAIL PROTECTED]: Interesting information. I'll look into adding this to my package then: cheers! Just FYI, I have now implemented and tested this feature. The new version, 0.5.0, is available on Hackage. For both platforms? Out

Re: [Haskell-cafe] Erroneous package listings in hackage?

2008-09-13 Thread Dougal Stanton
On Sat, Sep 13, 2008 at 1:51 AM, Duncan Coutts [EMAIL PROTECTED] wrote: Perhaps for packages that are installed but not re-installable via Cabal (like cairo, base, ghc etc) it should say something. Do you have any specific suggestions? Well that explains it then! I had no idea it listed stuff

Re: [Haskell-cafe] Windows console

2008-09-13 Thread Max Bolingbroke
2008/9/13 Andrew Coppin [EMAIL PROTECTED]: Just FYI, I have now implemented and tested this feature. The new version, 0.5.0, is available on Hackage. For both platforms? Of course! My package promises to work cross-platform, after all. Out of interest, how do you get the correct package

Re: [Haskell-cafe] Windows console

2008-09-13 Thread Andrew Coppin
Max Bolingbroke wrote: 2008/9/13 Andrew Coppin [EMAIL PROTECTED]: Just FYI, I have now implemented and tested this feature. The new version, 0.5.0, is available on Hackage. For both platforms? Of course! My package promises to work cross-platform, after all. [rejoyce!]

Re: [Haskell-cafe] Windows console

2008-09-13 Thread Duncan Coutts
On Sat, 2008-09-13 at 13:41 +0100, Andrew Coppin wrote: If you mean how do I compile the ANSI emulator on Windows but the actual ANSI stuff on Unix, most of the magic is in the .cabal file: I simply turn on the C-preprocessor (CPP) and then supply -DWINDOWS on Windows and -DUNIX on

Re: [Haskell-cafe] Erroneous package listings in hackage?

2008-09-13 Thread Duncan Coutts
On Sat, 2008-09-13 at 12:06 +0100, Dougal Stanton wrote: On Sat, Sep 13, 2008 at 1:51 AM, Duncan Coutts [EMAIL PROTECTED] wrote: Perhaps for packages that are installed but not re-installable via Cabal (like cairo, base, ghc etc) it should say something. Do you have any specific

Re: [Haskell-cafe] Re: Windows details

2008-09-13 Thread Andrew Coppin
Jeff Zaroyko wrote: Andrew Coppin andrewcoppin at btinternet.com writes: I literally cannot *believe* how hard it is to put a few little words into that version tab... Every other kind of resource seems to be completely trivial, but this just won't work for toffee! I'm sure you'll

Re[2]: [Haskell-cafe] Re: Windows details

2008-09-13 Thread Bulat Ziganshin
Hello Andrew, Saturday, September 13, 2008, 5:13:21 PM, you wrote: Well, you must either be running under a different OS or have Cygwin installed, because when I try it, it just complains constantly. (Can't find gcc, can't find cc1, can't find crt.o, and so forth.) At this point, I'm giving

[Haskell-cafe] nooby question on typing

2008-09-13 Thread Han Joosten
Hi, I have a question about types in Haskell. I feel that I am overlooking some obvious solution, but I do not manage to get it right. Here is the plot: I have got 4 different types of 'rules', each with it's own constructor. So i defined: type Rules = [Rule] data Rule = RuRule

Re: [Haskell-cafe] nooby question on typing

2008-09-13 Thread Sebastian Sylvan
On Sat, Sep 13, 2008 at 2:49 PM, Han Joosten [EMAIL PROTECTED]wrote: Hi, I have a question about types in Haskell. I feel that I am overlooking some obvious solution, but I do not manage to get it right. Here is the plot: I have got 4 different types of 'rules', each with it's own

Re: [Haskell-cafe] Hackage needs a theme song!

2008-09-13 Thread Gwern Branwen
On 2008.09.12 20:35:32 -0700, Jason Dagit [EMAIL PROTECTED] scribbled 1.7K characters: I realized tonight that Hackage needs a theme song. Here is my attempt at it, apologies to Jefferson Starship: We built this hackage, We built this hackage on lambda and types ... Pretty good. Any plans

[Haskell-cafe] Fwd: Computer Language Benchmarks Game: [Which parallel problem would you add and why?]

2008-09-13 Thread Don Stewart
The Computer Language Benchmarks Game has a quad core (as you probably know). But they're looking for new benchmarks. Ones that can actually exploit parallelism. If you've got suggestions on good parallelism benchmarks, and why they're good, add them to the alioth or reddit threads. -

[Haskell-cafe] ANNOUNCE: citeproc-hs, a Haskell implementation of the Citation Style Language designed for Pandoc

2008-09-13 Thread Andrea Rossato
Hello, I'm happy to announce the first release of citeproc-hs, a Haskell implementation of the Citation Style Language. citeproc-hs adds to Pandoc, the famous Haskell text processing tool, a Bibtex like citation and bibliographic formatting and generation facility. ABOUT The Citation Style

[Haskell-cafe] Hackage checks

2008-09-13 Thread Andrea Rossato
Hi, the Hackage upload script performs some checks on the packages being uploaded. In my case, a library, I need to use the cabal generated Paths_package file to access some locale data stored in a data file directory. This requires to include in hs-source-dirs dist/build/autogen, which doesn't

Re: [Haskell-cafe] nooby question on typing

2008-09-13 Thread Ryan Ingram
So it sounds like what you want to do is this: rulesList = [ Ru 'a' someExpr someFilePos , Sg someFilePos (Gc someOtherFilePos someMorphism someExpr) hello (a,b) ] (This won't compile because Ru and Sg construct different types.) You have a few options to do this: 1) Move the

[Haskell-cafe] Views

2008-09-13 Thread Stephan Friedrichs
Hello! List-like data structures should IMHO provide safe versions of 'head' and 'tail' (with safe I mean 'not partial', i. e. functions that don't provoke an 'error' when called with an empty collection). As far as I know, this is usually called 'view' and and has a type signature like view ::

Re: [Haskell-cafe] Views

2008-09-13 Thread Johannes Waldmann
a) ... to use Maybe b) ... to provide my own Data.Heap.View type leave the choice up to the programmer, and provide a generic interface, accepting any MonadZero (*) instance. cf. Data.Set.maxView http://www.haskell.org/hoogle/?hoogle=maxView (*) ah - I forgot, MonadZero didn't quite make

Re: [Haskell-cafe] Views

2008-09-13 Thread Ryan Ingram
On Sat, Sep 13, 2008 at 11:19 AM, Stephan Friedrichs [EMAIL PROTECTED] wrote: data View = Empty | Cons a (SomeDataStructure a) A good example for this is Data.Sequence. My question is: Why is this not expressed in terms of Maybe? view :: SomeDataStructure a - Maybe (a, SomeDataStructure

Re: [Haskell-cafe] Hackage checks

2008-09-13 Thread Duncan Coutts
On Sat, 2008-09-13 at 20:36 +0200, Andrea Rossato wrote: Hi, the Hackage upload script performs some checks on the packages being uploaded. In my case, a library, I need to use the cabal generated Paths_package file to access some locale data stored in a data file directory. This

Re: [Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

2008-09-13 Thread Don Stewart
dmehrtash: I have a newbie question Does theorem proofs have a use for an application? Take for example the IRC bot example ([1]http://www.haskell.org/haskellwiki/Roll_your_own_IRC_bot) listed below. Is there any insight to be gained by theorem proofs (as in COQ) into

Re: [Haskell-cafe] ANN: pandoc 1.0.0.1

2008-09-13 Thread John Goerzen
On Sat, Sep 13, 2008 at 09:31:50PM -0500, brian wrote: On Sat, Sep 13, 2008 at 8:29 PM, John MacFarlane [EMAIL PROTECTED] wrote: + Code is -Wall clean Thanks, I appreciate it. I wish more people paid attention to this. Well. I often pay attention to it. That doesn't mean I always heed it

Re: [Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

2008-09-13 Thread Daryoush Mehrtash
What I am trying to figure out is that say on the code for the IRC bot that is show here http://www.haskell.org/haskellwiki/Roll_your_own_IRC_bot/Source What would theorem proofs do for me? Daryoush On Sat, Sep 13, 2008 at 9:29 PM, Don Stewart [EMAIL PROTECTED] wrote: dmehrtash: I have

Re: [Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

2008-09-13 Thread Thomas M. DuBuisson
What would theorem proofs do for me? Imagine if you used SmallCheck to exhastively test the ENTIRE problem space for a given property. Now imagine you used your brain to show the programs correctness before the heat death of the universe... Proofs are not features, nor are they code. What