Re: VTALRM and System.system

2000-03-17 Thread Hannah Schroeter
Hello! On Thu, Mar 16, 2000 at 04:48:02PM -0700, Alastair Reid wrote: More through testing of my quick fix (ie trying bigger examples) revealed that my "trap '' 26" hack failed about 1% of the time. This being too often (approximately once per program run!) I hacked up

RE: virtual timers and System.system

2000-03-17 Thread Simon Marlow
On FreeBSD using ghc 4.04, long running commands executed with System.system are being interrupted by virtual alarms leading to errors such as: o Fail: interrupted Action: system Reason: system command interrupted rm -f xxx yyy o Virtual timer expired o gcc: Internal

Re: virtual timers and System.system

2000-03-17 Thread Hannah Schroeter
Hello! On Fri, Mar 17, 2000 at 01:42:14AM -0800, Simon Marlow wrote: [...] After looking at ghc 4.02's libraries for a while (it's all I had around), it looks as though ghc-4.02/ghc/lib/std/cbits/system.c should mask the SIGVTALRM signal after executing fork and before executing exec*.

Re: virtual timers and System.system

2000-03-17 Thread Hannah Schroeter
Hello! On Fri, Mar 17, 2000 at 01:46:03AM -0800, Simon Marlow wrote: I don't get it - execve() and friends are supposed to reset all the signal handlers back to the default state, aren't they? And I can't seem to construct an example to demonstrate the problem. Ah, I get it finally

RE: virtual timers and System.system

2000-03-17 Thread Simon Marlow
The correct handling would be: - block SIGALRM/SIGVTALRM/SIGPROF - *then* fork() (else you have a race condition where the child could receive *and handle* the signal) This race condition is harmless, I think. The VTALRM handler just increments a counter, and we're about to blow away this

RE: GMP compilation blues.

2000-03-17 Thread Simon Marlow
`/usr/local/pub-bkb/ghc/fptools/ghc/rts/gmp/mpz' ../driver/ghc-inplace -I../includes -I. -Iparallel -optc-Wall -optc-W -optc-Wstrict-prototypes -optc-Wmissing-prototypes -optc-Wmissing-declarations -optc-Winline -optc-Waggregate-return -optc-Wpointer-arith -optc-Wbad-function-cast

Change to Posix.lhs

2000-03-17 Thread Volker Stolz
Attached is a patch of what I did to my Posix.lhs. The problem is that 'getEnvVar' will throw an exception when the variable is not present in the environment. Thus, I'm proposing 'mayGetEnvVar', which will return Nothing | Just String. I can't think of a reason why anyone would want to use the

RE: Change to Posix.lhs

2000-03-17 Thread Simon Marlow
Attached is a patch of what I did to my Posix.lhs. The problem is that 'getEnvVar' will throw an exception when the variable is not present in the environment. Thus, I'm proposing 'mayGetEnvVar', which will return Nothing | Just String. I can't think of a reason why anyone would want to

No Subject

2000-03-17 Thread Simao Desousa
Dear Colleagues, I apologize if you receive multiple copies of this message and would be grateful if you could distribute the 2nd Summer School Call For Participation given below Best regards, S. Sousa --

Applied Semantics Summer School APPSEM'2000

2000-03-17 Thread Simao Desousa
Dear Colleagues, I apologize if you receive multiple copies of this message and would be grateful if you could distribute the 2nd Summer School Call For Participation given below Best regards, S. Sousa --

Re: The return of the Void [Was: newtypes]

2000-03-17 Thread Fergus Henderson
On 17-Mar-2000, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote: newtype Void = Void Void deriving Show Hugs and hbc accept it without complaining. (I haven't got nhc installed.) nhc98 reports Error when renaming:: Newtype Main.B is circular.

Re: The return of the Void [Was: newtypes]

2000-03-17 Thread Malcolm Wallace
The Haskell report explicitly allows recursive newtype definitions. So why is it reasonable for a compiler to reject them? nhc98 rejects circular newtypes which are semantically bottom, like newtype Void = Void Void newtype A = A B newtype B = B A because it cannot find a

Re: The return of the Void [Was: newtypes]

2000-03-17 Thread Fergus Henderson
On 16-Mar-2000, Patrik Jansson [EMAIL PROTECTED] wrote: On Thu, 16 Mar 2000, Chris Okasaki wrote: newtype Foo = F Foo ... Hugs and hbc accept it without complaining. (I haven't got nhc installed.) What is interesting is that ghc loops when trying to compile this definition! (Ghc folks,

Re: speed and size of compiled Haskell code

2000-03-17 Thread Carl R. Witty
Fergus Henderson [EMAIL PROTECTED] writes: On 16-Mar-2000, Jan Brosius [EMAIL PROTECTED] wrote: I wonder if someone could tell me more about the speed and size of compiled Haskell code. ... What about Haskell 98 versus (I anticipate) Haskell 2 There should be no significant

Re: HaskellDoc?

2000-03-17 Thread Volker Wysk
Hello I think, using literate programming techniques could be very useful. One could produce all of the following from the same source file(s): 1. Interface (user-level) documentation, 2. User documentation, manuals. 3. The actual Haskell source code, 4. A heavily interlinked HTML version of

Re: HaskellDoc?

2000-03-17 Thread Philip Wadler
Volker suggests using SGML/DSSSL for documentation. If one were to take this route, I think XML/XSLT would be a more sensible combination. See http://www.cs.bell-labs.com/~wadler/xml for a quick intro to XML. Runciman and Wallace at York have a nice XML library for Haskell.

Re: HaskellDoc?

2000-03-17 Thread Volker Wysk
Hi On Fri, 17 Mar 2000, Philip Wadler wrote: Volker suggests using SGML/DSSSL for documentation. If one were to take this route, I think XML/XSLT would be a more sensible combination. Why do you think so? I see the following advantages of SGML/DSSSL over XML/XSL: - open source tools

Re: The return of the Void [Was: newtypes]

2000-03-17 Thread malcolm
newtype Void = Void Void deriving Show Hugs and hbc accept it without complaining. (I haven't got nhc installed.) nhc98 reports Error when renaming:: Newtype Main.B is circular. Newtype Main.A is circular. Newtype Main.Void is circular.