A bug

2003-11-12 Thread Wojtek Moczydlowski
The attached program, after compilation under ghc 6.0.1 with -O2 -package wx under Windows, after about 1 minute running on 2Ghz computer crashes with the message: Internal error: RHS exhausted max heap size (...) report this as a bug. Wojtek SG.hs Description: Binary data Main.hs

RE: bugs in happy

2003-11-12 Thread Simon Marlow
I tried to write a monadic lexer and parser just to find that: - omitting %name defaults to happyParse. However this name is used internally in a different function at a different location, leading to a Multiply declarations of `Parser.happyParse' error form GHC. It doesn't change

Executable size?

2003-11-12 Thread John J Lee
[apologies to anybody who sees the rather similar message I posted to caml-list...] How does Haskell (ghc) compare with languages like O'Caml, C and C++ for executable size? How big is the runtime library? Are there any easily-identifiable, non-obvious, factors that affect executable size (I'm

RE: ANNOUNCE: HCA Report (5th edition, November 2003)

2003-11-12 Thread Simon Peyton-Jones
I think we all owe Claus a big Thank You for initiating and running the Haskell Communities Report. It's done a great job of telling us what's going on. Thank you Claus! I hope someone else will step in for May 2004... Simon | -Original Message- | From: [EMAIL PROTECTED]

Question about how GUM works

2003-11-12 Thread Yang, Qing
Hi All, I have a question about GUM - the runtime system for Parallel Haskell. There are below words in the paper addressing GUM architecture: The first action of GUM program is to create a PVM manager task, whose job is to control startup and termination. The manager spawns the required number

RE: Question about how GUM works

2003-11-12 Thread Simon Peyton-Jones
I think you'll maximise your chances by sending mail about GUM and Glasgow Parallel Haskell to the GpH mailing list http://www.macs.hw.ac.uk/~dsg/gph/ Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Yang, Qing | Sent: 12 November 2003

RE: ANNOUNCE: Haddock version 0.6

2003-11-12 Thread Simon Marlow
On Tue, 11 Nov 2003 11:01:00 -, Simon Marlow [EMAIL PROTECTED] wrote: There is a new release of Haddock, version 0.6. Are interface files binary-incompatible with those of previous releases? With a Cygwin-compiled 0.6, I get an error: Fail: end of file Action:

Re: ANNOUNCE: Haddock version 0.6

2003-11-12 Thread Juanma Barranquero
On Wed, 12 Nov 2003 10:07:58 - Simon Marlow [EMAIL PROTECTED] wrote: Yes, they're binary incompatible I'm afraid. Oh, well... :) The path is the path to the HTML files, and the filename is the name of the .haddock file. They can be completely different, e.g. Of course. Silly me.

Re: set representation question

2003-11-12 Thread Nicholas Nethercote
On Wed, 12 Nov 2003, Tom Pledger wrote: Hal Daume III writes: : | *all* i care about is being able to quickly calculate the size of | the intersection of two sets. these sets are, in general, very | sparse, which means that the intersections tend to be small. | | for example, i

Re: ANNOUNCE: Release of Vital, an interactive visual programming environment for Haskell

2003-11-12 Thread Graham Klyne
This looks like much fun. I took a quick look at the screenshots, but don't see any provision for graphical display of *programs* -- is there? I've sometimes thought that a functional language would be the ideal platform to usher in a purely graphical style of programming; there have been a

Re: set representation question

2003-11-12 Thread John Meacham
On Wed, Nov 12, 2003 at 03:00:38PM +1300, Tom Pledger wrote: The total time (including the up front time for building the data structure) can't go below O(n+m), because if it did, you'd be neglecting to look at some of the elements at all. that would be true if there wern't a total ordering on

Re: set representation question

2003-11-12 Thread Daan Leijen
Hi Hal, On Tue, 11 Nov 2003 16:45:56 -0800 (PST), Hal Daume III [EMAIL PROTECTED] wrote: i'm looking for a representation for a set of natural numbers. right now, my representation is sorted array, which works well. *all* i care about is being able to quickly calculate the size of the

Re: set representation question

2003-11-12 Thread David Overton
On Wed, Nov 12, 2003 at 11:32:54AM +, Nicholas Nethercote wrote: Hal Daume III writes: : | *all* i care about is being able to quickly calculate the size of | the intersection of two sets. these sets are, in general, very | sparse, which means that the intersections tend to be

Re: set representation question

2003-11-12 Thread Johannes Waldmann
John Meacham wrote: my intuition says something like binary trees annotated with the minimum and maximum value contained beneath each node so you may prune whole subtrees in constant time... Yes. This may be one dimension too high, but check out segment trees from Computational Geometry. See

Network.CGI, (embedded) graphics

2003-11-12 Thread Johannes Waldmann
I'd like to embed pictures (.png) in a CGI-generated output. This doesn't seem to fit directly into ghc's Network.CGI setting. (Not entirely ghc's fault, of course :-) By the html definition, including a picture seems to require an indirection. But I don't want to expose a static address, so I am

Re: ANNOUNCE: Release of Vital, an interactive visual programming environment for Haskell

2003-11-12 Thread Keith Hanna
Graham Klyne writes: This looks like much fun. I took a quick look at the screenshots, but don't see any provision for graphical display of *programs* -- is there? At present, there isn't. But plans are to incorporate a graphical style of programming, much along the lines of the Dami and

Re: ANNOUNCE: Release of Vital, an interactive visual programming environment for Haskell

2003-11-12 Thread Marcin 'Qrczak' Kowalczyk
W licie z ro, 12-11-2003, godz. 11:06, Graham Klyne pisze: I've sometimes thought that a functional language would be the ideal platform to usher in a purely graphical style of programming; I don't understand why so many people talk about graphical programming, i.e. putting together

Postdoc and PhD positions at CWI, Amsterdam

2003-11-12 Thread Farhad.Arbab
Position Description The Coordination and Component Based Software group in SEN3 at CWI has two open positions for: (1) a postdoc for a period of four years, and (2) a PhD student (OIO) for four years. Both positions are within the project number

Re: set representation question

2003-11-12 Thread Stefan Karrmann
Dear Nicholas, Nicholas Nethercote (Wed, Nov 12, 2003 at 11:32:54AM +): On Wed, 12 Nov 2003, Tom Pledger wrote: Hal Daume III writes: : | *all* i care about is being able to quickly calculate the size of | the intersection of two sets. these sets are, in general, very |

Why doesn't GHC do the following optimisation?

2003-11-12 Thread andrew cooke
Hi, This question is purely out of curiousity - I'm no expert on this. I wrote the following code: sum1 :: [Int] - Int sum1 = foldl (+) 0 foldl' :: (a - b - a) - a - [b] - a foldl' f v l = foldr (\x - \fld - \v' - fld $ f v' x) id l v sum2 :: [Int] - Int sum2 = foldl' (+) 0 main :: IO ()

Programming style (or: too clever by half?)

2003-11-12 Thread Graham Klyne
I just spotted a possible idiom for something that seems to pop up from time to time: foldr const But I can't help feeling that this code is perversely obscure. Does it have any advantages over the more obvious form suggested below? [[ headOrSomething = foldr const headOrSomething1 _ (x:_)

Re: Programming style (or: too clever by half?)

2003-11-12 Thread Andrew Pimlott
On Wed, Nov 12, 2003 at 02:54:32PM +, Graham Klyne wrote: I just spotted a possible idiom for something that seems to pop up from time to time: foldr const But I can't help feeling that this code is perversely obscure. Clever. I usually end up with something like listToMaybe

Re: Programming style (or: too clever by half?)

2003-11-12 Thread Hal Daume III
this is the same as the function 'fromMaybe' in Data.Maybe. the 'maybe' function in that library is also incredibly useful. On Wed, 12 Nov 2003, Andrew Pimlott wrote: On Wed, Nov 12, 2003 at 02:54:32PM +, Graham Klyne wrote: I just spotted a possible idiom for something that seems to