ANN: C->Haskell 0.11.5 "Powder Snow"

2003-06-09 Thread Manuel M T Chakravarty
I am pleased to announce version 0.11.5 "Powder Snow" of the C interface generator C->Haskell. This is the first binary release of the 0.11.x "Powder Snow" series, which supports CPP directives, conditional compilation, and inline C code. More information as well as source code and RPMs for GHC 6

Re: ANN: H98 FFI Addendum 1.0, Release Candidate 10

2003-06-09 Thread Ross Paterson
On Sun, Jun 08, 2003 at 10:36:48PM +1000, Manuel M T Chakravarty wrote: > Done. > Done. > Done. Thanks, that's much safer. It's just nitpicking now, but: > > Having washed our hands of unsafePerformIO applied to non-deterministic > > actions, we no longer need the third paragraph, which (though

Re: for all quantifier

2003-06-09 Thread Jon Fairbairn
On 2003-06-08 at 18:03PDT Ashley Yakeley wrote: > In article <[EMAIL PROTECTED]>, > [EMAIL PROTECTED] (Peter G. Hancock) wrote: > > Thanks! It made me wonder what colour the sky is on planet Haskell. > > From a Curry-Howard point of view, (I think) the quantifiers are > > currently the wrong wa

Re: Multiparameter class confusion (and functional dependencies)

2003-06-09 Thread Graham Klyne
At 02:18 07/06/03 +0200, Dylan Thurston wrote: On Wed, Jun 04, 2003 at 01:21:00PM +0100, Graham Klyne wrote: > There is a recurring difficulty I'm having using multiparameter classes. >=20 > Most recently, I have a class Rule: > [[ > class (Expression ex, Eq (rl ex)) =3D> Rule rl ex where > ...

Re: Typesafe MRef with a regular monad

2003-06-09 Thread Lennart Augustsson
Simon Marlow wrote: Simon P.J. writes: ... So it's reasonable that there should be some language extension. I'm just looking for the minimal such extension. unsafeCoerce# is quite a minimal extension :-) It's a minimal extension, but it's not an extension that provides any insight. :)

RE: Typesafe MRef with a regular monad

2003-06-09 Thread Simon Marlow
Simon P.J. writes: > ... So it's reasonable that there should be some language extension. > I'm just looking for the minimal such extension. unsafeCoerce# is quite a minimal extension :-) Cheers, Simon ___ Haskell mailing list [EMAIL PROTECTE

Re: Typesafe MRef with a regular monad

2003-06-09 Thread Keith Wansbrough
Ralf Hinze writes: > Why is that? Ok, here is my second implementation. It uses the > Dynamic module from our HW2002 paper. A key is a pair consisting > of the actual key and a type representation. [..] > > update:: (Typable b) => FM k -> Key k a -> b -> (FM k, Key > > k

Re: ANNOUNCE: HSHGL 3.00

2003-06-09 Thread Jens Petersen
2003年06月06日(金)の23時40分に Alastair Reid 曰く: > In preparation for a major release of HSHGL, we are making an alpha > release for folk to play with. This release only works with X11 and > GHC (it almost certainly still runs on Hugs too but we haven't tested > recently). Thank you for the release! An