Re: Haskell and the NGWS Runtime

2000-08-02 Thread Fergus Henderson
On 02-Aug-2000, Carl R. Witty <[EMAIL PROTECTED]> wrote: > Fergus Henderson <[EMAIL PROTECTED]> writes: > > > > The compiler hooks into GHC by translating Core into GOO > > > and then after some source to source transformations it > > > can spit out either C# or Java. > > Is there any publically

Re: Question about types

2000-08-02 Thread Lennart Augustsson
Marcin 'Qrczak' Kowalczyk wrote: > Wed, 2 Aug 2000 17:01:09 +0200 (CEST), Wojciech Moczydlowski, Jr ><[EMAIL PROTECTED]> pisze: > > > The follow piece of code is accepted by hugs and ghc, rejected by > > nhc and (I haven't seen it) by hbc. Is this code correct or not? > > > > type A = Either Int

RE: Haskell and the NGWS Runtime

2000-08-02 Thread Doug Ransom
The PDC slides and white papers should be available if you dig through this site: http://commnet.pdc.mscorpevents.com/default.asp -Original Message- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]] Sent: Wednesday, August 02, 2000 9:43 AM To: Fergus Henderson Cc: [EMAIL PROTECTED] Sub

redundant constraint

2000-08-02 Thread Zhanyong Wan
Hello, The following piece of code was rejected by Hugs: > class Foo a where > write :: a -> String > write _ = "I'm a foo!" > > data Foo a => FooType a = FooType a > > writeFoo :: FooType a -> String > writeFoo (FooType a) = write a ERROR "Test.hs" (line xx): Cannot justify constraints in

Re: Classes

2000-08-02 Thread Marcin 'Qrczak' Kowalczyk
Wed, 2 Aug 2000 07:59:23 -0700, Simon Peyton-Jones <[EMAIL PROTECTED]> pisze: > You mean "change to support it *without* saying > -fallow-undecideable-instances"? Yes. > you can just use the flag. Hmm, right. What I should have asked is to have this rule blessed to be moral in future, or somet

Re: Question about types

2000-08-02 Thread Marcin 'Qrczak' Kowalczyk
Wed, 2 Aug 2000 17:01:09 +0200 (CEST), Wojciech Moczydlowski, Jr <[EMAIL PROTECTED]> pisze: > The follow piece of code is accepted by hugs and ghc, rejected by > nhc and (I haven't seen it) by hbc. Is this code correct or not? > > type A = Either Int > > f:: (a -> b) -> A a -> A b > f _ _ = Le

Re: Haskell and the NGWS Runtime

2000-08-02 Thread Carl R. Witty
Fergus Henderson <[EMAIL PROTECTED]> writes: > > The compiler hooks into GHC by translating Core into GOO > > and then after some source to source transformations it > > can spit out either C# or Java. Is there any publically available technical information on what you guys are talking about? I

Question about types

2000-08-02 Thread Wojciech Moczydlowski, Jr
I have a question regarding standard. The follow piece of code is accepted by hugs and ghc, rejected by nhc and (I haven't seen it) by hbc. Is this code correct or not? type A = Either Int f :: (a -> b) -> A a -> A b f _ _ = Left 0 Wojciech Moczydlowski, Jr

RE: Classes

2000-08-02 Thread Simon Peyton-Jones
| Ah! I just needed |instance ForeignRes (Ptr a) b => ForeignRes (ThrowNull (Ptr a)) b | but for GHC it's undecidable. I had to use |instance ForeignRes (ThrowNull (Ptr a)) (Ptr a) | which is theoretically less general, although in practice it suffices. | | It's annoying that an analogous

Re: Haskell and the NGWS Runtime

2000-08-02 Thread Fergus Henderson
On 02-Aug-2000, Erik Meijer <[EMAIL PROTECTED]> wrote: > > > > The plan is to have the release out the door by September 1st. > > > > Will that release support Haskell, or just Mondrian? > > The compiler hooks into GHC by translating Core into GOO > and then after some source to source transform