RE: unsafeCoerce#

2006-07-31 Thread Simon Peyton-Jones
Good idea. There's suitable section here in the HEAD manual, here: http://www.haskell.org/ghc/dist/current/docs/users_guide/special-ids.htm l#id3159468 I'll add a subsection about unsafeCoerce# Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] | On Behalf

Re: unsafeCoerce#

2006-07-31 Thread Neil Mitchell
Hi In that bit of the manual it also has inline as both the section headings, so lazy won't show up in the table of contents. (a typo) I didn't think to search the manual anyway, so it would be nice if they could get added to the haddock index in some way. Thanks Neil On 7/31/06, Simon

returning to cost of Integer

2006-07-31 Thread Serge D. Mechveliani
Dear GHC developers, Long ago you wrote that GHC has made Integer only about 3/2 times slower than Int. I tested this once, and then all this time I have been relying on this. Now, with ghc-6.4.1 compiled for Linux - i386-unknown, running under Debian

cost of Integer

2006-07-31 Thread Serge D. Mechveliani
By my previous letter about cost(Integer)/cost(Int) = 2.55 I wanted to ask is there anything new in ghc-6.4.1 in comparison to, say, ghc-5.01, to ghc-4, with relation to this cost ratio? Regards, - Serge Mechveliani [EMAIL PROTECTED]

Re: returning to cost of Integer

2006-07-31 Thread Duncan Coutts
On Mon, 2006-07-31 at 14:32 +0400, Serge D. Mechveliani wrote: Dear GHC developers, Long ago you wrote that GHC has made Integer only about 3/2 times slower than Int. I tested this once, and then all this time I have been relying on this. Now, with ghc-6.4.1 compiled

Re: --show-iface grammar?

2006-07-31 Thread Neil Mitchell
Hi David, For a while hoogle used to parse iface files with some Perl, its in the hoogle repo under data/hihoo. It was particularly unreliable, but might give some insights... And there probably shouldn't be one, if people want it then use the GHC API. Rather than defining a weak text format,

Re: returning to cost of Integer

2006-07-31 Thread Lennart Augustsson
A more clever representation of Integer could unbox numbers in big range. But that would require some runtime support, I think. -- Lennart On Jul 31, 2006, at 11:19 , Duncan Coutts wrote: On Mon, 2006-07-31 at 14:32 +0400, Serge D. Mechveliani wrote: Dear GHC developers, Long ago

Re: returning to cost of Integer

2006-07-31 Thread John Meacham
However because Int is often unboxable where as Integer is never unboxable there are certainly programs where the factor is much much greater than x2 or x3. If the Int can be unboxed into an Int# then the operations are very quick indeed as they are simple machine primitives. This has made

[Haskell] Paper announcement: Software Extension and Integration with Type Classes

2006-07-31 Thread Ralf Lammel
Dear Haskellers, The following paper may still benefit from your comment. The final version is only due per 10 August 2006. Thanks, Ralf Laemmel -- http://homepages.cwi.nl/~ralf/gpce06/ Title: Software Extension and

Re: [Haskell] thread-local variables (was: Re: Implicit Parameters)

2006-07-31 Thread Einar Karttunen
On 31.07 03:18, Frederik Eaton wrote: I don't think it's necessarily such a big deal. Presumably the library with the worker threads will have to be invoked somewhere. One should just make sure that it is invoked in the appropriate environment, for instance with the database connection already

Re: [Haskell] thread-local variables (was: Re: Implicit Parameters)

2006-07-31 Thread Einar Karttunen
On 31.07 14:03, Thomas Conway wrote: This is why I believe transaction-local variables are a more useful concept. You are garanteed that there is only one thread accessing them, and they behave just like ordinary TVars except that each transaction has its own copy. This seems like it could be

Re: [Haskell] thread-local variables (was: Re: Implicit Parameters)

2006-07-31 Thread Frederik Eaton
On Mon, Jul 31, 2006 at 03:09:59PM +0300, Einar Karttunen wrote: On 31.07 03:18, Frederik Eaton wrote: I don't think it's necessarily such a big deal. Presumably the library with the worker threads will have to be invoked somewhere. One should just make sure that it is invoked in the

[Haskell] Call for Participation: Scheme Functional Programming Workshop 2006

2006-07-31 Thread Robby Findler
Dear all, The Scheme and Functional Programming Workshop pre-registration deadline is in about 2 and a half weeks -- do be sure to register for ICFP and the workshop before then. Come to hear Manuel Serrano talk about HOP, his new language for programming the web, a status report from the R6RS

Re: [Haskell] thread-local variables

2006-07-31 Thread Adrian Hey
Frederik Eaton wrote: On Mon, Jul 31, 2006 at 03:09:59PM +0300, Einar Karttunen wrote: On 31.07 03:18, Frederik Eaton wrote: 4) the library runs the callback code in Tw where the TLS state is invalid. This is even worse than a global variable in this case. If you have threads, and you have

[Haskell] Non-drifting clock, anyone?

2006-07-31 Thread ihope
Here it is, in all its greatly untested glory: http://pastebin.ca/109242 I don't know how much error it has, but the error won't stack up: if it's one second off, it will remain one second off until the end of time, or until your system clock drifts. But system clock drifts will be fixed by

[Haskell-cafe] Apache HTTP Server And Haskell

2006-07-31 Thread Kaveh Shahbazian
Is there a mod_haskell (like mod_perl and mod_python) for Apache HTTP server? Does anyone know about it? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] [Parsec] Backtracking with try does not work for me?

2006-07-31 Thread Stephane Bortzmeyer
I'm trying to write a Parsec parser for a language which authorizes (this is a simplified example) a or a,b,c or a,c or a,b. (I can change the grammar but not the language.) The first attempt was: * CUT HERE import Text.ParserCombinators.Parsec import System (getArgs) comma = char ','

Fwd: [Haskell-cafe] Apache HTTP Server And Haskell

2006-07-31 Thread Kaveh Shahbazian
Thanks, But it seems to be dead! (Last news on 18 Apr 2002). Is there a more mature one? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Apache HTTP Server And Haskell

2006-07-31 Thread minh thu
2006/7/31, Kaveh Shahbazian [EMAIL PROTECTED]: Thanks, But it seems to be dead! (Last news on 18 Apr 2002). Is there a more mature one? it seems the answer (to which you say thanks) was not posted on the mailing list... what was it ? mt ___

Re: [Haskell-cafe] Apache HTTP Server And Haskell

2006-07-31 Thread Lemmih
On 7/31/06, Kaveh Shahbazian [EMAIL PROTECTED] wrote: Is there a mod_haskell (like mod_perl and mod_python) for Apache HTTP server? Does anyone know about it? There is. However, you're way better off using FastCGI. http://www.cs.chalmers.se/~bringert/darcs/haskell-fastcgi/doc/ -- Friendly,

Re: [Haskell-cafe] Apache HTTP Server And Haskell

2006-07-31 Thread Jason Dagit
On 7/31/06, Lemmih [EMAIL PROTECTED] wrote: On 7/31/06, Kaveh Shahbazian [EMAIL PROTECTED] wrote: Is there a mod_haskell (like mod_perl and mod_python) for Apache HTTP server? Does anyone know about it? There is. However, you're way better off using FastCGI.

Re: [Haskell-cafe] [Parsec] Backtracking with try does not work for me?

2006-07-31 Thread Matthias Fischmann
On Mon, Jul 31, 2006 at 09:04:32AM +0200, Stephane Bortzmeyer wrote: minilang = do char 'a' try (optional (do {comma ; char 'b'})) optional (do {comma ; char 'c'}) eof return OK parse error at (line 1, column 2): unexpected c expecting b

[Haskell-cafe] Re: [Parsec] Backtracking with try does not work for me?

2006-07-31 Thread Stephane Bortzmeyer
On Mon, Jul 31, 2006 at 10:59:14AM +0200, Matthias Fischmann [EMAIL PROTECTED] wrote a message of 89 lines which said: try b | (return '-') ... The (return 'x') is needed for type consistency. OK, it works. Many thanks for the solution and the explanations.

[Haskell-cafe] What is the state if Unicode in Haskell implementations?

2006-07-31 Thread Olof Bjarnason
Hi there!I'm trying to user Haskell as a code-generating language, specifically generating C# code files. The wish list is1) reading UTF-8 coded text files into unicode-enabled Strings, lets call them UString 2) writing UStrings to UTF-8 coded text files3) using unicode strings in-code, that is in

Re: [Haskell-cafe] What is the state if Unicode in Haskell implementations?

2006-07-31 Thread Piotr Kalinowski
On 31/07/06, Olof Bjarnason [EMAIL PROTECTED] wrote: 1) reading UTF-8 coded text files into unicode-enabled Strings, lets call them UString 2) writing UStrings to UTF-8 coded text files3) using unicode strings in-code, that is in my .hs filesIn case of GHC:String (Char actually) is unicode

Re: [Haskell-cafe] What is the state if Unicode in Haskell implementations?

2006-07-31 Thread Duncan Coutts
On Mon, 2006-07-31 at 13:56 +0200, Olof Bjarnason wrote: Hi there! I'm trying to user Haskell as a code-generating language, specifically generating C# code files. The wish list is 1) reading UTF-8 coded text files into unicode-enabled Strings, lets call them UString The ordinary Haskell

Re: [Haskell-cafe] What is the state if Unicode in Haskell implementations?

2006-07-31 Thread Bulat Ziganshin
Hello Olof, Monday, July 31, 2006, 3:56:45 PM, you wrote: 1) reading UTF-8 coded text files into unicode-enabled Strings, lets call them UString 2) writing UStrings to UTF-8 coded text files 3) using unicode strings in-code, that is in my .hs files first solution:

Re: [Haskell-cafe] What is the state if Unicode in Haskell implementations?

2006-07-31 Thread Piotr Kalinowski
On 31/07/06, Bulat Ziganshin [EMAIL PROTECTED] wrote: first solution: http://haskell.org/haskellwiki/Library/Streams Looks nice. Just a quick question - does it have an equivalent of read(write)File? Regards, -- Intelligence is like a river: the deeper it is, the less noise it makes

Re: [Haskell-cafe] [Parsec] Backtracking with try does not work for me?

2006-07-31 Thread Udo Stenzel
Stephane Bortzmeyer wrote: minilang = do char 'a' try (optional (do {comma ; char 'b'})) optional (do {comma ; char 'c'}) eof return OK * CUT HERE *** parse error at (line 1, column 2): unexpected c expecting b Apparently,

Re[2]: [Haskell-cafe] What is the state if Unicode in Haskell implementations?

2006-07-31 Thread Bulat Ziganshin
Hello Piotr, Monday, July 31, 2006, 4:23:16 PM, you wrote: first solution: http://haskell.org/haskellwiki/Library/Streams Looks nice. Just a quick question - does it have an equivalent of read(write)File? no, but you can borrow this code from ghc's System.IO module, see below. actually, if

[Haskell-cafe] Re: [Parsec] Backtracking with try does not work for me?

2006-07-31 Thread Stephane Bortzmeyer
On Mon, Jul 31, 2006 at 12:57:04PM +0200, Udo Stenzel [EMAIL PROTECTED] wrote a message of 59 lines which said: Now 'optional x' always succeeds, so the 'try' is useless where you placed it. You need to 'try' the argument to 'optional': It works, too. Many thanks for the code and the

Re: [Haskell-cafe] The difficulty of designing a sequence class

2006-07-31 Thread Robert Dockins
On Jul 30, 2006, at 5:28 PM, Brian Hulley wrote: Robert Dockins wrote: On Sunday 30 July 2006 07:47, Brian Hulley wrote: Another option, is the Edison library which uses: class (Functor s, MonadPlus s) = Sequence s where so here MonadPlus is used instead of Monoid to provide empty and

Re: [Haskell-cafe] The difficulty of designing a sequence class

2006-07-31 Thread Brian Hulley
Robert Dockins wrote: On Jul 30, 2006, at 5:28 PM, Brian Hulley wrote: Robert Dockins wrote: So, what you want is a sequence of sequences that can be transparently converted to a flattened sequence and vice versa? Yes as long as the conversion between them takes no time at all - the

Re: [Haskell-cafe] [Parsec] Backtracking with try does not work for me?

2006-07-31 Thread Chris Kuklewicz
The semantics of Parsec's optional operation are what is causing the problem. optional foo can have 3 results: 1) foo can succeed, optional succeeds, proceed to next command 2) foo can fail without consuming any input, optional succeeds proceed to next command 3) foo can fail after

[Haskell-cafe] Re: [Parsec] Backtracking with try does not work for me?

2006-07-31 Thread Stephane Bortzmeyer
On Mon, Jul 31, 2006 at 06:51:27PM +0100, Chris Kuklewicz [EMAIL PROTECTED] wrote a message of 102 lines which said: minilang = do char 'a' optional (try (do {comma ; char 'b'})) optional (do {comma ; char 'c'}) eof return OK I now have a new problem which

Re: [Haskell-cafe] The difficulty of designing a sequence class

2006-07-31 Thread ajb
G'day all. Quoting Robert Dockins [EMAIL PROTECTED]: Edison's design hails from a time when MPTCs were not only non-standard (as they still are), but also not widely used, and before fundeps were avaliable (I think). Yes. Chris Okasaki's original version of Edison was standard H98. I've

Re: [Haskell-cafe] The difficulty of designing a sequence class

2006-07-31 Thread ajb
G'day all. Quoting Brian Hulley [EMAIL PROTECTED]: The problem is that some people will be using Data.Edison.Seq at the moment and will naturally not want it to change. However I'd suggest that all the common operations be factored out into separate classes eg: While I think the huge

Re: [Haskell-cafe] The difficulty of designing a sequence class

2006-07-31 Thread David Menendez
[EMAIL PROTECTED] writes: G'day all. Quoting Robert Dockins [EMAIL PROTECTED]: I've considered reformulating the Sequence class to be more similar to the Collection classes (which use MPTCs, fundeps and mention the element type), The redesign of the Collection hierarchy was from my

[Haskell-cafe] Trouble compiling wxhaskell

2006-07-31 Thread David F. Place
Hi: I'm having trouble compiling wxhaskell 0.9.4 under both ghc 6.4.2 and ghc 6.5. Does anyone know where I should direct my queries? Thanks. David F. Place mailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Trouble compiling wxhaskell

2006-07-31 Thread Jason Dagit
I've done this recently. I put my notes on the wiki: http://www.haskell.org/haskellwiki/WxHaskell/Install#Windows Do you have a particular error message? Jason On 7/31/06, David F. Place [EMAIL PROTECTED] wrote: Hi: I'm having trouble compiling wxhaskell 0.9.4 under both ghc 6.4.2 and ghc

Re: [Haskell-cafe] The difficulty of designing a sequence class

2006-07-31 Thread David Menendez
Brian Hulley writes: 1) Did Edison choose MonadPlus just because this fitted in with the lack of multi-parameter typeclasses in H98? Instances of Monoid (and your ISeq) have kind *. Instances of MonadPlus (and Edison's Sequence) have kind * - *. Functions like map, zip, and their variants are

Re: [Haskell-cafe] Trouble compiling wxhaskell

2006-07-31 Thread Jared Updike
Hmmm I found http://www.haskell.org/haskellwiki/WxHaskell/Installation_tips so there are two such pages, the other being: http://www.haskell.org/haskellwiki/WxHaskell/Install so perhaps these pages can be merged? and a redirect placed from one to the other? Cheers, Jared. On 7/31/06,

Re: [Haskell-cafe] Trouble compiling wxhaskell

2006-07-31 Thread Duncan Coutts
On Mon, 2006-07-31 at 19:11 -0400, David F. Place wrote: Hi: I'm having trouble compiling wxhaskell 0.9.4 under both ghc 6.4.2 and ghc 6.5. Does anyone know where I should direct my queries? Assuming you're using wxHaskell on linux with wxGTK then the usual problem with compiling

Re: [Haskell-cafe] The difficulty of designing a sequence class

2006-07-31 Thread ajb
G'day all. Quoting David Menendez [EMAIL PROTECTED]: That's a tough call to make. Changing the kind of Sequence to * from * - * means losing the Functor, Monad, and MonadPlus superclasses and all the various maps and zips. And on the other hand, containers that need extra constraints (e.g.

Fw: [Haskell-cafe] The difficulty of designing a sequence class

2006-07-31 Thread Brian Hulley
David Menendez wrote: Brian Hulley writes: 1) Did Edison choose MonadPlus just because this fitted in with the lack of multi-parameter typeclasses in H98? Instances of Monoid (and your ISeq) have kind *. Instances of MonadPlus (and Edison's Sequence) have kind * - *. Functions like map,

Re: [Haskell-cafe] The difficulty of designing a sequence class

2006-07-31 Thread Brian Hulley
David Menendez wrote: [EMAIL PROTECTED] writes: I didn't get around to fixing Sequence because there wasn't a need for it yet, but yes, it should be done. That's a tough call to make. Changing the kind of Sequence to * from * - * means losing the Functor, Monad, and MonadPlus superclasses and

Re: [Haskell-cafe] The difficulty of designing a sequence class

2006-07-31 Thread Brian Hulley
[EMAIL PROTECTED] wrote: G'day all. Quoting Brian Hulley [EMAIL PROTECTED]: The problem is that some people will be using Data.Edison.Seq at the moment and will naturally not want it to change. However I'd suggest that all the common operations be factored out into separate classes eg:

Re: [Haskell-cafe] The difficulty of designing a sequence class

2006-07-31 Thread Brian Hulley
Brian Hulley wrote: David Menendez wrote: Brian Hulley writes: 4) Would it be worth reconsidering the rules for top level names so that class methods could always be local to their class (ditto for value constructors and field names being local to their type constructor). Qualified module

Re: [Haskell-cafe] The difficulty of designing a sequence class

2006-07-31 Thread Jim Apple
On 7/31/06, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote: G'day all. Quoting David Menendez [EMAIL PROTECTED]: That's a tough call to make. Changing the kind of Sequence to * from * - * means losing the Functor, Monad, and MonadPlus superclasses and all the various maps and zips. Perhaps

Re: [Haskell-cafe] The difficulty of designing a sequence class

2006-07-31 Thread John Meacham
On Tue, Aug 01, 2006 at 02:56:21AM +0100, Brian Hulley wrote: Now the problem is that person C may come along and notice that there is a useful abstraction to be made by inheriting both from ClassA and ClassB. But both of these define foo and there is no mechanism in the language to resolve

Re: [Haskell-cafe] Trouble compiling wxhaskell

2006-07-31 Thread shelarcy
On 7/31/06, David F. Place [EMAIL PROTECTED] wrote: Hi: I'm having trouble compiling wxhaskell 0.9.4 under both ghc 6.4.2 and ghc 6.5. Does anyone know where I should direct my queries? If you use ghc 6,4,2 under Windows platform, you can use my patched version of wxHaskell. And you can