Re: [Haskell-cafe] Why Either = Left | Right instead of something like Result = Success | Failure

2010-06-01 Thread Patrick LeBoutillier
On Thu, May 27, 2010 at 3:17 PM, Mike Dillon m...@embody.org wrote: begin C. McCann quotation: Personally, I advocate instead using Sinister and Dexter. Nice and catchy, don't you think? Has anyone done a translation of the Prelude into Latin? modulus PraeLudus ubi data Uter a b =

[Haskell-cafe] Language Shootout reverse-complement benchmark

2010-06-01 Thread Louis Wasserman
Hey, I was looking at the reverse-complement benchmark on the Language Shootout, and among other things, I noticed that the Haskell implementation was using (filter (/= '\n')) on ByteStrings, and also using lists as queues. I had a few improvements which using -fasm seem to yield about a 19%

Re: [Haskell-cafe] Haskell + CouchDB, anyone?

2010-06-01 Thread Лев Никитин
I hav not run your examples. But 1. May be you have put to couchdb only *object* (braked by {}) but not array? 2. Why not to define data (data Mydata = Mydata {...}) and declare it as instance of JSON you can find example of using couchDB via google.com/codesearch (lang:haskell couchDB)

Re: [Haskell-cafe] Re: [web-devel] Google Summer of Code: BlazeHTML RFC

2010-06-01 Thread Jeremy Shaw
A (hopefully) non-cropped version of the chart, http://tinyurl.com/2cl42js ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Parselib sample

2010-06-01 Thread C K Kashyap
Hi, Is there a not-so-trivial parser implementation with Parselib? Parser for a C like language would be good. I searched and found Haskell++ - http://www.cs.chalmers.se/~rjmh/Software/h++.html However, I'd prefer to look at a parser for a C like language. -- Regards, Kashyap

[Haskell-cafe] The state of Hackage: what are we doing about it?

2010-06-01 Thread Don Stewart
I see fairly regular complaints about too many Haskell libraries, bewildering choice of difficult-to-determine quality. I've tried to summarize the state of Hackage, and what projects are active to make it easier to find high quality libraries: http://tinyurl.com/2cqw9sb Thoughts? -- Don

[Haskell-cafe] Re: LLVM - Haskell

2010-06-01 Thread Aaron Tomb
On May 31, 2010, at 3:02 PM, Tom Hawkins wrote: For instance, the LLVM.FFI.BitReader module has some functions that'll get you a ModuleRef from some bitcode. getBitcodeModuleInContext :: ContextRef - MemoryBufferRef - Ptr ModuleRef - Ptr CString - IO Bool type ModuleRef = Ptr

[Haskell-cafe] How to build an Indicator Type for a type class?

2010-06-01 Thread Steffen Schuldenzucker
Dear Cafe, let: data True data False class C a (arbitrary instances for C may follow) Now, how to obtain an Indicator Type for C, i.e. a type IndC that is defined via a type family / fundep / ... , so that IndC a = True forall a which are instances of C IndC a = False for all other a.

Re: [Haskell-cafe] Language Shootout reverse-complement benchmark

2010-06-01 Thread David Leimbach
I'm still trying to figure out what the point of the shootout really is. If there's no dedicated folks working with a language there, trying to make things run faster, a language will come out looking inefficient potentially. There's a lot of compile flags and optimizations that can make a

Re: [Haskell-cafe] name of this monadic combinator?

2010-06-01 Thread Mike Dillon
begin Brent Yorgey quotation: On Sun, May 30, 2010 at 11:15:40AM -0700, Mike Dillon wrote: begin Michael Snoyman quotation: http://hackage.haskell.org/packages/archive/base/4.2.0.1/doc/html/Control-Monad.html#v%3AliftM2

Re: [Haskell-cafe] Parselib sample

2010-06-01 Thread Stephen Tetley
Hello For non-trivial parsing Parsec or UU-Parse are much better candidates. If you have Parsec installed from Hackage, I'd still recommend you get the manual and source distribution from: http://legacy.cs.uu.nl/daan/parsec.html The source distribution has some examples - Tiger, Mondrian, Henk

[Haskell-cafe] design question/font metrics

2010-06-01 Thread Gery Debongnie
Dear Haskell-Cafe list, Since I am learning Haskell, I decided to try to do a real program, to practice and give me some experience. I choose to do a basic typesetting program (like TeX/LaTeX). Now, obviously, such a program needs to manipulate font objects, and in particular, font metrics.

Re: [Haskell-cafe] ANNOUNCE: MonadCatchIO-foreign

2010-06-01 Thread Bas van Dijk
Thanks for writing this package. I used those functions myself in my usb package: http://hackage.haskell.org/packages/archive/usb/0.3.1/doc/html/src/System-USB-IO-Synchronous-Enumerator.html#genAlloca (set you browser to UTF-8 encoding to correctly view the Unicode symbols) I've now patched usb

[Haskell-cafe] Re: The state of Hackage: what are we doing about it?

2010-06-01 Thread Marc Weber
Excerpts from Don Stewart's message of Tue Jun 01 01:13:20 +0200 2010: I see fairly regular complaints about too many Haskell libraries, bewildering choice of difficult-to-determine quality. I want to send a small reminder that there was the idea adding a public wiki for each project which can

[Haskell-cafe] ANN: list-extras 0.4.0

2010-06-01 Thread wren ng thornton
-- list-extras 0.4.0 A minor (but interface-changing) release for common not-so-common functions for lists. -- Changes (since 0.3.0)

[Haskell-cafe] Re: The state of Hackage: what are we doing about it?

2010-06-01 Thread Henning Thielemann
Marc Weber schrieb: Excerpts from Don Stewart's message of Tue Jun 01 01:13:20 +0200 2010: I see fairly regular complaints about too many Haskell libraries, bewildering choice of difficult-to-determine quality. I want to send a small reminder that there was the idea adding a public wiki for

Re: [Haskell-cafe] design question/font metrics

2010-06-01 Thread Anthony Cowley
On Tue, Jun 1, 2010 at 10:30 AM, Gery Debongnie gery.debong...@gmail.com wrote: 3. Perform a reading of the font metrics file in the main program, put the results into some FontMetrics object, and give that to stringWidth :: FontMetrics - Font - String - Double.  Pros : allow me to avoid

Re: [Haskell-cafe] design question/font metrics

2010-06-01 Thread Stephen Tetley
Hi Gery There probably isn't a library to help - I've looked at extracting TrueType font metrics myself but abandoned it - TrueType fonts have a very complicated file format, and the spec is inadequate to code an implementation. TeX font metrics are probably simpler but obviously tied to TeX.

[Haskell-cafe] Announce: berp, an implementation of Python 3, in Haskell

2010-06-01 Thread Bernie Pope
I'm pleased to announce the first public release of berp, version 0.0.2. Berp is (the beginnings of) an implementation of Python 3, written in Haskell. It provides a compiler and an interpreter. In both cases the input Python program is translated into Haskell code. The compiler turns the Haskell

[Haskell-cafe] Pugs with GHC 6.12

2010-06-01 Thread Simon Thompson
Has anyone successfully compiled Pugs with GHC 6.12? The Pugs page suggests that it compiles, but it falls to link (and therefore build) when I try it. Thanks! Simon T.___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

[Haskell-cafe] Improving Haskell on Windows by adding it to TakeoffGW

2010-06-01 Thread MH
That's a great idea and I would love to help but I have no idea where and how to start. I would love to work on making Haskell installer work on TakeofGW. Would it be possible to write down some notes describing what needs to be done? Thanks, MH ___

Re: [Haskell-cafe] Pugs with GHC 6.12

2010-06-01 Thread Daniel Fischer
On Tuesday 01 June 2010 16:58:53, Simon Thompson wrote: Has anyone successfully compiled Pugs with GHC 6.12? $ pugs +RTS --info [(GHC RTS, YES) ,(GHC version, 6.12.1) ,(RTS way, rts_v) ,(Host platform, i386-unknown-linux) ,(Host architecture, i386) ,(Host OS, linux) ,(Host vendor,

[Haskell-cafe] Third Ghent Functional Programming Group Meeting: Tuesday, June 29 at 19h

2010-06-01 Thread Jeroen Janssen
(apologies if you receive multiple copies) Dear all, We would like to announce that the third Ghent Functional Programming Group Meeting will take place on Tuesday, June 29, in the Technicum Building (Sint-Pietersnieuwstraat 41, 9000 Gent) of Ghent University at 19h. If you are interested in

Re: [Haskell-cafe] Language Shootout reverse-complement benchmark

2010-06-01 Thread Gwern Branwen
On Tue, Jun 1, 2010 at 10:25 AM, David Leimbach leim...@gmail.com wrote: I'm still trying to figure out what the point of the shootout really is.  If there's no dedicated folks working with a language there, trying to make things run faster, a language will come out looking inefficient

[Haskell-cafe] Re: Pugs with GHC 6.12

2010-06-01 Thread Christian Maeder
Simon Thompson schrieb: Has anyone successfully compiled Pugs with GHC 6.12? The Pugs page suggests that it compiles, but it falls to link (and therefore build) when I try it. Your error message would help. I was able to compile and link pugs (Version: 6.2.13.15) using ghc-6.12.2.20100521 by:

Re: [Haskell-cafe] The state of Hackage: what are we doing about it?

2010-06-01 Thread Stephen Tetley
Forked to the Cafe... Hi all What's the procedure for marking one's own package(s) as deprecated on Hackage? Best wishes Stephen ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] yet another functional reactive programming tutorial :)

2010-06-01 Thread Thomas Hartman
cabal installable would be nice. for that matter, throw it on hackage! 2010/5/26 Jinjing Wang nfjinj...@gmail.com: Dear list, As I'm learning frp and reading the wonderful tutorial at http://www.formicite.com/dopage.php?frp/frp.html , I'm putting up some more basic cheatsheet style

[Haskell-cafe] PDF generation?

2010-06-01 Thread Jim Tittsler
What is the easiest way to create PDF files from Haskell? Is gtk2hs's PDF output the preferred way? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] PDF generation?

2010-06-01 Thread Henning Thielemann
On Tue, 1 Jun 2010, Jim Tittsler wrote: What is the easiest way to create PDF files from Haskell? Is gtk2hs's PDF output the preferred way? I have successfully used HPDF for http://hackage.haskell.org/package/internetmarke Certainly there could be some improvements to HPDF's API

Re: [Haskell-cafe] The state of Hackage: what are we doing about it?

2010-06-01 Thread Brandon S. Allbery KF8NH
On May 31, 2010, at 19:13 , Don Stewart wrote: I see fairly regular complaints about too many Haskell libraries, bewildering choice of difficult-to-determine quality. One thing that might help is just a less cluttered/better organized interface. I always have to use browser find on the

[Haskell-cafe] Re: LLVM - Haskell

2010-06-01 Thread Tom Hawkins
For instance, the LLVM.FFI.BitReader module has some functions that'll get you a ModuleRef from some bitcode. getBitcodeModuleInContext :: ContextRef - MemoryBufferRef - Ptr ModuleRef - Ptr CString - IO Bool type ModuleRef = Ptr Module data Module I'm confused how this works. How does

Re: [Haskell-cafe] PDF generation?

2010-06-01 Thread Pierre-Etienne Meunier
Read the PDF manual from adobe, it is not that hard. Fonts are a little harder, but not too much. El 01/06/2010, a las 12:14, Henning Thielemann escribió: On Tue, 1 Jun 2010, Jim Tittsler wrote: What is the easiest way to create PDF files from Haskell? Is gtk2hs's PDF output the

Re: [Haskell-cafe] Re: [web-devel] Google Summer of Code: BlazeHTML RFC

2010-06-01 Thread Jeremy Shaw
Hello, HSP does not use xhtml or any other library internally. The trhsx pre-processor turns this: bigTable :: [[Int]] - String bigTable t = renderAsHTML $ evalIdentity $ table % mapM (\r - tr% mapM (\d - td% show d %/td) r %/tr) t % /table into: bigTable :: [[Int]] - String {-#

Re: [Haskell-cafe] design question/font metrics

2010-06-01 Thread Brandon S. Allbery KF8NH
On Jun 1, 2010, at 10:53 , Stephen Tetley wrote: There probably isn't a library to help - I've looked at extracting TrueType font metrics myself but abandoned it - TrueType fonts have a very complicated file format, and the spec is inadequate to code an The saner way to do this is to write a

Re: [Haskell-cafe] The state of Hackage: what are we doing about it?

2010-06-01 Thread Vo Minh Thu
2010/6/1 Brandon S. Allbery KF8NH allb...@ece.cmu.edu: On May 31, 2010, at 19:13 , Don Stewart wrote: I see fairly regular complaints about too many Haskell libraries, bewildering choice of difficult-to-determine quality. One thing that might help is just a less cluttered/better organized

[Haskell-cafe] www.haskell.org web server down?

2010-06-01 Thread Sean Leather
It responds to pings but not http. http://downforeveryoneorjustme.com/www.haskell.org Sean ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] design question/font metrics

2010-06-01 Thread Stephen Tetley
Hi Brandon Even that's not simple - freetype is essentially a framework for writing font processors rather than a conventional C library[*]. Saner perhaps is to write a C program using freetype to do the exact job you have in mind, then bind to your C program. Best wishes Stephen [*} Probably

Re: [Haskell-cafe] The state of Hackage: what are we doing about it?

2010-06-01 Thread Bas van Dijk
On Tue, Jun 1, 2010 at 5:55 PM, Stephen Tetley stephen.tet...@gmail.com wrote: What's the procedure for marking one's own package(s) as deprecated on Hackage? Ask Ross Paterson to deprecate your package. Once a package is deprecated it won't show up in the package list anymore but will still

Re: [Haskell-cafe] The state of Hackage: what are we doing about it?

2010-06-01 Thread Stephen Tetley
Thanks Bas I've just emailed Ross, so that should be one zombie down when he has the chance to update Hackage. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] PDF generation?

2010-06-01 Thread Robert Wills
Last year, I was playing around with using the Hieroglyph library for pdf creation via it's Cairo backend (which I guess amounts to the same thing as using gtk2hs' pdf output). http://wrwills.webfactional.com/docs/pandocHieroglyph/ You should be able to use Diagrams as well as it also has a

[Haskell-cafe] Installing Curl on Windows 7 - permissions problem

2010-06-01 Thread Ralph Hodgson
Don, More angst with Windows 7 permissions. I hope this is a simple thing for you or someone else to help me with. I have successfully installed other packages into my private cabal area. When it came to the Haskell curl package, I got permission errors. Just to prove that

Re: [Haskell-cafe] Installing Curl on Windows 7 - permissions problem

2010-06-01 Thread Stephen Tetley
On 31 May 2010 22:50, Ralph Hodgson rhodg...@topquadrant.com wrote: This is what happened when I went to my windows shell: C:\Users\Ralph\AppData\Roaming\cabal\curl-1.3.5runhaskell setup build Preprocessing library curl-1.3.5... Building curl-1.3.5... Registering curl-1.3.5...

Re: [Haskell-cafe] Installing Curl on Windows 7 - permissions problem

2010-06-01 Thread Stephen Tetley
Don't you want to be installing the curl binding through MinGW's shell rather than going back to the Windows shell? By that I mean the Bash shell provided by MSys, which you should have installed along with MinGW... ___ Haskell-Cafe mailing list

[Haskell-cafe] Re: Why Either = Left | Right instead of something like Result = Success | Failure

2010-06-01 Thread Aaron Denney
On 2010-05-27, aditya siram aditya.si...@gmail.com wrote: Monstro I'm going to call it that from now on. Stay out of the IO Monstro. Monstro is Show (think demonstrate), not Monad. -- Aaron Denney -- ___ Haskell-Cafe mailing list

[Haskell-cafe] Difference between div and /

2010-06-01 Thread Maciej Piechotka
I started to wonder what is the difference between div and / so they are 2 separate symbols. div: Take a Integral divide and round (down) (/): Take a Fractional divide and usually round In some applications I would like to use any of those but it is not possible. Is this unification taken

[Haskell-cafe] Re: Problems with Haskell Platform

2010-06-01 Thread Pete Chown
Dominic Steintiz wrote: I seem to be in some sort package dependency hell (which I thought the Haskell Platform did away with). I install ghc using my package manager (I'm on opensuse). I was just thinking, interactions between Cabal and the distribution package manager could get worse, as

Re: [Haskell-cafe] Installing Curl on Windows 7 - permissions problem

2010-06-01 Thread Daniel Fischer
On Monday 31 May 2010 23:50:58, Ralph Hodgson wrote: Don, More angst with Windows 7 permissions. I hope this is a simple thing for you or someone else to help me with. I have successfully installed other packages into my private cabal area. When it came to the Haskell curl package,

Re: [Haskell-cafe] Parselib sample

2010-06-01 Thread C K Kashyap
Thanks Stephan, In Haskell, what would be the right thing to parse C like languages. Parsec literature seems to indicate that they can pretty much parse anything. The reason I had asked for a sample in Parselib was for me to understand the monadic parser in action. The last time I tried looking

Re: [Haskell-cafe] PDF generation?

2010-06-01 Thread Yitzchak Gale
Jim Tittsler wrote: What is the easiest way to create PDF files from Haskell? Pierre-Etienne Meunier wrote: Read the PDF manual from adobe, it is not that hard. Fonts are a little harder, but not too much. I have often generated PostScript from Haskell, which is much easier. PostScript is a

RE: [Haskell-cafe] Installing Curl on Windows 7 - no longer a permissions problem - due to dependency conflicts

2010-06-01 Thread Ralph Hodgson
Permissions issue was straight-forward to resolve. Yesterday I tracked this down to a conflict with versions of bytestring. ghc.6.10.4 needs bytestring-0.9.1.4 ghc-pkg: unregistering bytestring-0.9.1.4 would break the following packages: ha ddock-2.4.2 ghc-6.10.4 Win32-2.2.0.0

Re: [Haskell-cafe] PDF generation?

2010-06-01 Thread Pierre-Etienne Meunier
Isn't there a problem with non-type 1 vectorial fonts being rasterized during this conversion ? El 01/06/2010, a las 14:07, Yitzchak Gale escribió: Jim Tittsler wrote: What is the easiest way to create PDF files from Haskell? Pierre-Etienne Meunier wrote: Read the PDF manual from adobe,

[Haskell-cafe] Re: Language Shootout reverse-complement benchmark

2010-06-01 Thread Isaac Gouy
On Tue, Jun 1, 2010 at 10:25 AM, David Leimbach leimy2k at gmail.com wrote: I'm still trying to figure out what the point of the shootout really is. From one point of view - http://shootout.alioth.debian.org/help.php#why If there's no dedicated folks working with a language there, trying to

Re: [Haskell-cafe] Difference between div and /

2010-06-01 Thread Jonas Almström Duregård
One might expect a == (a/b)*b and other common arithmetic formulas to hold for division? /Jonas On 31 May 2010 14:32, Maciej Piechotka uzytkown...@gmail.com wrote: I started to wonder what is the difference between div and / so they are 2 separate symbols. div:  Take a Integral divide and

[Haskell-cafe] Resource module

2010-06-01 Thread Arie Peterson
Dear list, For some time, I have maintained a small private module centred around the following type of resource: newtype Resource cap m = Resource { with :: forall a. (cap - m a) - m a } Interpretation: @Resource cap m@ is a resource, providing a capability of type @cap@, which does

Re: [Haskell-cafe] Parselib sample

2010-06-01 Thread Stephen Tetley
Hi Kashyap There's a C parser for Happy (LR) - I long while ago I converted this to Frown (also LR) - both Happy and Frown are parser generators that take a grammar description and generate a Haskell module that implements the Parser. Personally I prefer Frown, I find the input syntax a bit nicer

Re: [Haskell-cafe] PDF generation?

2010-06-01 Thread Yitzchak Gale
I wrote: I have often generated PostScript from Haskell... Then you convert the PS to PDF using any of the nice utilities around for that Pierre-Etienne Meunier wrote: Isn't there a problem with non-type 1 vectorial fonts being rasterized during this conversion ? No. PDF is just a

[Haskell-cafe] Re: The state of Hackage: what are we doing about it?

2010-06-01 Thread Bas van Dijk
On Tue, Jun 1, 2010 at 7:09 PM, Matthias Kilian k...@outback.escape.de wrote: - Liveness of a library, that is: does it still get updates? Does it  build with recent versions of GHC? Note that Hackage already shows the upload date and for which versions of GHC the package does and doesn't

Re: [Haskell-cafe] Difference between div and /

2010-06-01 Thread Daniel Fischer
On Tuesday 01 June 2010 20:26:55, Jonas Almström Duregård wrote: One might expect a == (a/b)*b and other common arithmetic formulas to hold for division? /Jonas Better not if one's using Float or Double. ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Resource module

2010-06-01 Thread Bas van Dijk
On Mon, May 31, 2010 at 12:08 PM, Arie Peterson ar...@xs4all.nl wrote: - I tried using the regions package, since it has a very similar purpose, but this seems impossible: some resources I could not express in the form required for its class 'Resource' (methods 'open' and 'close'). Hi Arie, I

Re: [Haskell-cafe] Difference between div and /

2010-06-01 Thread Aaron D. Ball
What does (stdin + stderr) `mod` stdout mean (result will be stdin). In my GHCi (6.12.1) with System.IO, this fails because Handle is not a numeric type. What implementation are you using? The underlying object here is a Unix file descriptor, which is just a number. In that sense, stdin is 0,

Re: [Haskell-cafe] A question on existential types and Church encoding

2010-06-01 Thread Cory Knapp
Thanks! That was exactly the sort of response I was looking for. This explains why you need to double up for your current definitions. To choose between two booleans (which will in turn allow you to choose between 'a's), you need a CB (CB a). You can eliminate the asymmetric type, though, like

Re: [Haskell-cafe] Difference between div and /

2010-06-01 Thread Alexander Solla
On Jun 1, 2010, at 12:20 PM, Aaron D. Ball wrote: The underlying object here is a Unix file descriptor, which is just a number. In that sense, stdin is 0, stdout is 1, and stderr is 2, so this would be (0 + 2) (mod 1) = 0 Every integer is 0 (mod 1).

[Haskell-cafe] Dependency issues with GHC 6.12.2 installing parsec and others

2010-06-01 Thread Ralph Hodgson
base-3.0.3.2-b2241f4c659fe250ebb821a4173f40c9 doesn't exist (use --force to override) Having installed GHC 6.12.2, I am hitting these problems with every package I tried to install: C:\Users\Ralphcabal install parsec Resolving dependencies... Configuring parsec-2.1.0.1... Preprocessing

Re: [Haskell-cafe] A question on existential types and Church encoding

2010-06-01 Thread Jason Dagit
On Tue, Jun 1, 2010 at 12:40 PM, Cory Knapp cory.m.kn...@gmail.com wrote: Thanks! That was exactly the sort of response I was looking for. This explains why you need to double up for your current definitions. To choose between two booleans (which will in turn allow you to choose between

Re: [Haskell-cafe] Difference between div and /

2010-06-01 Thread Jonas Almström Duregård
One might expect a == (a/b)*b and other common arithmetic formulas to hold for division? Better not if one's using Float or Double. I figured someone would say that :) What about this one: round (a/b/c) == round (a/(b*c)) Of course this doesn't work on Integers... /J On 1 June 2010 21:08,

Re: [Haskell-cafe] A question on existential types and Church encoding

2010-06-01 Thread C. McCann
On Tue, Jun 1, 2010 at 3:40 PM, Cory Knapp cory.m.kn...@gmail.com wrote: In the new type, the parameter 'a' is misleading. It has no connection to the 'a's on the right of the equals sign. You might as well write:  type CB = forall a. a - a - a Ah! That makes sense. Which raises a new

Re: [Haskell-cafe] Dependency issues with GHC 6.12.2 installing parsec and others

2010-06-01 Thread Daniel Fischer
On Tuesday 01 June 2010 22:31:21, Ralph Hodgson wrote: base-3.0.3.2-b2241f4c659fe250ebb821a4173f40c9 doesn't exist (use --force to override) You probably have a package.conf from the previous GHC still lying around. If your new GHC is in the system space, it'll probably be enough to remove

Re: [Haskell-cafe] Difference between div and /

2010-06-01 Thread Daniel Fischer
On Tuesday 01 June 2010 22:40:51, Jonas Almström Duregård wrote: One might expect a == (a/b)*b and other common arithmetic formulas to hold for division? Better not if one's using Float or Double. I figured someone would say that :) *g* What about this one: round (a/b/c) == round

Re: [Haskell-cafe] Difference between div and /

2010-06-01 Thread Maciej Piechotka
On Tue, 2010-06-01 at 22:40 +0200, Jonas Almström Duregård wrote: One might expect a == (a/b)*b and other common arithmetic formulas to hold for division? Better not if one's using Float or Double. I figured someone would say that :) What about this one: round (a/b/c) == round

Re: [Haskell-cafe] A question on existential types and Church encoding

2010-06-01 Thread Dan Doel
On Tuesday 01 June 2010 3:40:41 pm Cory Knapp wrote: Note: this is universal quantification, not existential. As I would assume. But I always see the forall keyword used when discussing existential quantification. I don't know if I've ever seen an exists keyword. Is there one? How would it

Re: [Haskell-cafe] A question on existential types and Church encoding

2010-06-01 Thread Daniel Fischer
On Tuesday 01 June 2010 23:21:35, Dan Doel wrote: I think SPJ is on record as saying it would add a lot of complexity to the current GHC type system, and I'm inclined to believe him. In matters concerning the GHC type system, that's a fairly natural stance, I think.

Re: [Haskell-cafe] Difference between div and /

2010-06-01 Thread Maciej Piechotka
On Tue, 2010-06-01 at 15:20 -0400, Aaron D. Ball wrote: What does (stdin + stderr) `mod` stdout mean (result will be stdin). In my GHCi (6.12.1) with System.IO, this fails because Handle is not a numeric type. What implementation are you using? Ups. I missed the Handle with Fd. Which

Re: [Haskell-cafe] Parselib sample

2010-06-01 Thread Sean Leather
I've thought about writing an article for The Monad Reader - moving from Graham Hutton's parsers to Parsec, if there's any interest I'll look into doing it. For the time being the main difference is probably that Parsec parsers generally use the TokenParser module for some of the combinators

Re: [Haskell-cafe] Difference between div and /

2010-06-01 Thread Evan Laforge
[1] By co I mean Ruby, Python, Perl and others. There are no so many languages that do recognize the difference. % python -Q new Python 2.4.6 (#1, Aug 3 2009, 17:05:16) [GCC 4.0.1 (Apple Inc. build 5490)] on darwin Type help, copyright, credits or license for more information. 10 / 3 #-

[Haskell-cafe] Re: Difference between div and /

2010-06-01 Thread Maciej Piechotka
On Tue, 2010-06-01 at 15:29 -0700, Evan Laforge wrote: [1] By co I mean Ruby, Python, Perl and others. There are no so many languages that do recognize the difference. % python -Q new Python 2.4.6 (#1, Aug 3 2009, 17:05:16) [GCC 4.0.1 (Apple Inc. build 5490)] on darwin Type help,

Re: [Haskell-cafe] Resource module

2010-06-01 Thread Arie Peterson
On Tue, 1 Jun 2010 21:10:40 +0200, Bas van Dijk v.dijk@gmail.com wrote: | [...] | Hi Arie, I would love to see some examples of these resources for | which you can't define a Resource[1] instance. | [...] | | [1] |

Re: [Haskell-cafe] Re: Difference between div and /

2010-06-01 Thread Daniel Fischer
On Wednesday 02 June 2010 00:55:08, Maciej Piechotka wrote: On Tue, 2010-06-01 at 15:29 -0700, Evan Laforge wrote: [1] By co I mean Ruby, Python, Perl and others. There are no so many languages that do recognize the difference. % python -Q new Python 2.4.6 (#1, Aug 3 2009, 17:05:16)

RE: [Haskell-cafe] Dependency issues with GHC 6.12.2 installing parsec and others

2010-06-01 Thread Ralph Hodgson
Thanks Daniel, I will give it a try I just did some work on the MAC to verify that everything worked there. And all is well with MAC GHC 6.12.1 -Original Message- From: daniel.is.fisc...@web.de [mailto:daniel.is.fisc...@web.de] Sent: Tuesday, June 01, 2010 2:03 PM To:

Re: [Haskell-cafe] Re: Difference between div and /

2010-06-01 Thread Maciej Piechotka
On Wed, 2010-06-02 at 01:13 +0200, Daniel Fischer wrote: On Wednesday 02 June 2010 00:55:08, Maciej Piechotka wrote: On Tue, 2010-06-01 at 15:29 -0700, Evan Laforge wrote: [1] By co I mean Ruby, Python, Perl and others. There are no so many languages that do recognize the difference.