Asynchronous Exceptions

2001-11-23 Thread Steinitz, Dominic J
Can someone help me understand how this works? I've been reading the paper Asynchronous Exceptions in Haskell. This gives a combinator finally :: IO a - IO b - IO s finally a b = block (do { r - catch (unblock a) (\e - do { b; throw e }); b; return r; }) Now suppose we

many urls

2001-11-23 Thread Alex P.Gordienko
peace

PhD Studentship

2001-11-23 Thread Zhaohui.Luo
EPSRC CASE PhD Studentship Department of Computer Science University of Durham, U.K. Applications are invited from students with good undergraduate or MSc degrees in computer science, mathematics or a related subject to study for

RE: Asynchronous Exceptions

2001-11-23 Thread Simon Marlow
Can someone help me understand how this works? I've been reading the paper Asynchronous Exceptions in Haskell. This gives a combinator finally :: IO a - IO b - IO s finally a b = block (do { r - catch (unblock a) (\e - do { b; throw e }); b; return r; })

PhD positions in Informatics, Bergen University, Norway

2001-11-23 Thread Marc Bezem
2 PhD positions Institute for Informatics University of Bergen, Norway 1. The project. --- MoSIS is a IKT project funded by the Norwegian Science Council (NFR) for the period 2002-2005. Its descriptive

List.partition should be more lazy

2001-11-23 Thread Bastiaan Heeren
Using the function partition from the List module, a control stack overflow occurs when evaluating the following expression: List head $ fst $ partition even [1..] (35929 reductions, 63867 cells) ERROR: Control stack overflow The definition of partition in both hugs and GHC

RE: List.partition should be more lazy

2001-11-23 Thread Simon Peyton-Jones
It was wrong in the Haskell report too (now fixed; see my home page). Also fixed in GHC 5.02. Simon | -Original Message- | From: Bastiaan Heeren [mailto:[EMAIL PROTECTED]] | Sent: 23 November 2001 13:55 | To: [EMAIL PROTECTED] | Subject: List.partition should be more lazy | | | Using

-fno-warn-incomplete-patterns ignored

2001-11-23 Thread Rahul Bhargava
Hi, Preliminary experimentation with code that compiles with ghc-5.02 and falls over with ghc-5.02.1 suggests that the -fno-warn-incomplete-patterns flag is ignored. Ghc falls over with, ghc-5.02.1:panic! (the `impossible' happened, GHC version 5.02.1): /tmp/ghc[].lpp:[]: Non-exhaustive

Confusing GHC error message

2001-11-23 Thread George Russell
(Yes, I know that's not very impressive, but you must all have been wondering what's happened to me.) The attached file, when compiled with ghc5.02.1, -fglasgow-exts -fallow-overlapping-instances -fallow-undecidable-instances produces the error message Haskell.hs:11: Illegal left hand side

unpacking the files?

2001-11-23 Thread Feliks Kluzniak
Hello! I have a very basic (and naive, probably) question: What does one use to unpack a *.bz2 file? I tried to find this information in the on-line installation guide, but could not find it. Might be a good idea to put it there. A quick response would be much appreciated. Regards, --

RE: unpacking the files?

2001-11-23 Thread Simon Marlow
I have a very basic (and naive, probably) question: What does one use to unpack a *.bz2 file? I tried to find this information in the on-line installation guide, but could not find it. Might be a good idea to put it there. A quick response would be much appreciated. bzip2:

RE: Existentials and newtype

2001-11-23 Thread Simon Peyton-Jones
| Summarizing: without single-field existentially quantified | constructors in newtypes either my code gets less readable or | I have to pay a run-time price. Is it possible to relax the | restriction on newtypes in combination with existentials? Yes, that's a fair point. Unfortunately,