Re: Kindness of strangers (or strangeness of Kinds)

2012-06-12 Thread AntC
Edward Kmett ekmett at gmail.com writes: On Mon, Jun 11, 2012 at 9:58 PM, AntC anthony_clayden at clear.net.nz wrote: [snip ...] Could we have :k (-) :: OpenKind - * - *  -- why not? I don't quite understand why you would want arbitrary kinded arguments, but only in negative position. 

Is stderr flushed automatically after exceptions are printed

2012-06-12 Thread Johan Tibell
Hi, If a program throws an exception that will cause it to be terminated (i.e. the exception isn't caught), will the code that prints out the error message to stderr make sure to flush stderr before terminating the process? -- Johan ___