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
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
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
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
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
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
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
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
| 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
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
10 matches
Mail list logo