Hi all.
I'm having ghc import path problems on NT:
--
$ ghc -i//c/ghc/ghc-4.08.2/lib/imports/win32 hello.lhs
Import path element `/cygdrive/c/ghc/ghc-4.08.2/lib/imports/win32' does not
exist,
Ashley Yakeley <[EMAIL PROTECTED]> writes:
> I think it would be useful to extend Haskell so that one could create
> algebraic data types in one module that could be union-extended in
> another. Something like this:
>
> data Thing = CharThing Char | IntThing Int | _
>
> ...later...
>
> data
Thu, 18 Feb 1988 08:17:58 +0100, Jose Emilio Labra Gayo <[EMAIL PROTECTED]> pisze:
> Which doesn't work because Haskell doesn't detect that
> "Integral" and "Fractional" are disjoint.
And indeed there is no disjointness concept in the language.
Nothing prevents from making a type an instance of
I have a large program where I would like to include disjoint type classes
into a new type class.
My problem can be reduced to the following example (taken from [1]):
> class Num a => Dividable a
> where dividedBy :: a -> a -> a
> instance Fractional a => Dividable a where
> dividedBy = (/)
Folks
Andrew Tolmach, Tony Hoare, and I are writing a paper about
rewrite rules in GHC -- the {-# RULES #-} stuff.
We'd like to report on practical experience of using rewrite rules.
Has anyone use them in practice? What's your experience?
Pls reply to me, to avoid clogging the list with your
Simon thanks I'm afraid I didn't see your earlier reply.
I didn't try this in GHC, thanks for the clarification.
Hugs on the other hand does give a type:
g :: (Foo a b, Foo [b] [[[a]]]) => b -> [[[a]]] ->
Int
My assumption is that this is because of a dept
[Apologies for multiple copies]
PLI 2001
Principles, Logics, and Implementations
of high-level programming languages
(Sponsored by ACM)
I replied last week:
-Original Message-
From: Simon Peyton-Jones
Sent: 28 February 2001 16:51
To: 'Dominic Duggan'; [EMAIL PROTECTED]
Subject: RE: please confirm that this is a feature
GHC infers the type
g :: (Foo [[a]] [b], Foo [[b]] [a]) => [a] -> [b] -> Int
As you imply, if GHC