Hello,
I have the following code:
class C a where
f :: a - Int
instance C (a,b) where
f = const 2
instance C ((a,b),c) where
f = const 3
If I load this code into ghci with switches -fglasgow-exts and
-fallow-overlapping-instances and enter f (1,2), I get
Hello,
the following code is accepted by GHC but rejected by Hugs. I think, GHC is in
error here.
class C a where
x :: Int
main :: IO ()
main = return ()
Is the phenomenon mentioned in
http://haskell.org/pipermail/haskell/2003-August/012428.html
similar to this problem?
Loading package base ... linking ... done.
Loading package lang ... linking ... done.
Loading object (static)
/home/pimlott/local/fudgets/lib/GhcFudgets/FudgetsXlib.o ... done
Loading object (static)
/home/pimlott/local/fudgets/lib/GhcFudgets/Fudgets.o ... done
Loading
Hi Hal,
On Saturday 30 August 2003 01:39, Hal Daume III wrote:
If you use Haskell for a purpose *other than* one of those listed below,
I'd love to hear. I don't need a long report, anything from a simple I
do to a paragraph would be fine, and if you want to remain anonymous
that's fine,
On 30-Aug-2003 Hal Daume III wrote:
Hi fellow Haskellers,
I'm attempting to get a sense of the topology of the Haskell
community. Based on the Haskell Communities Activities reports, it
seems that the large majority of people use Haskell for Haskell's sake.
I have been working on a
Since the opening of this thread by Hal Daume 11 (binary), we see a constant
flow of interesting contributions/confessions. Plenty of applications, it
seems that Haskell is really used in a wider context than we might think.
It is a pleasure to read all this.
I have just one question thus. Why the
Jerzy Karczmarczuk wrote:
Presumably this reviewer has his particular visions what a science
is,
but I don't believe that such people dominate in the milieu of FPL.
I believe that it would be interesting to organize some workshops
on practical applications of functional
Hi Hal and others,
We would like to hear your thoughts on the viability of a conference or
workshop dedicated to applications of Haskell for non-Haskell purposes.
On Saturday 30 August 2003 01:39, Hal Daume III wrote:
I'm attempting to get a sense of the topology of the Haskell
community.
Well, there's PADL (Practical Aspects of Declarative Languages), see
http://www.research.avayalabs.com/user/wadler/padl03/.
-Paul
Tim Docker wrote:
Jerzy Karczmarczuk wrote:
Presumably this reviewer has his particular visions what a science
is,
but I don't believe that such people dominate in
At 16:15 01/09/03 +0200, Jerzy Karczmarczuk wrote:
Since the opening of this thread by Hal Daume 11 (binary), we see a constant
flow of interesting contributions/confessions. Plenty of applications, it
seems that Haskell is really used in a wider context than we might think.
It is a pleasure to
On Mon, 1 Sep 2003, Joost Visser wrote:
Hi Hal and others,
We would like to hear your thoughts on the viability of a conference or
workshop dedicated to applications of Haskell for non-Haskell purposes.
On Saturday 30 August 2003 01:39, Hal Daume III wrote:
I'm attempting to get a
[this seemed to be flowing along nicely, but now that the thread
has moved from information to organisation and meta-discussion,
I'd like to add a few comments, and an invitation]
On Saturday 30 August 2003 01:39, Hal Daume III wrote:
I'm attempting to get a sense of the topology of the
hi,
just a comment that the you can get more modular (and hence simpler)
proofs by using monad transformers.
than you can break down your proof in a number of steps:
1. prove that the identity monad is a monad
2. prove that the exception transformer: ErrorT x m a = m (Either x a)
gives a
Hello,
I let make run while I was sleeping on my redhat 7.3 system and in
the morning it seemed to have worked. I ran make install which also
seemed to work. Now when I type ghc --help it tells me about
ghc-5.04.2. Does this mean that I am still running ghc 5? What can I
do if I am still running
On Mon, Sep 01, 2003 at 06:37:29AM -0500, Mark Espinoza wrote:
Hello,
I let make run while I was sleeping on my redhat 7.3 system
and in the morning it seemed to have worked. I ran make install
which also seemed to work. Now when I type ghc --help it tells
me about ghc-5.04.2. Does this
On Tue, 26 Aug 2003 14:33:28 +1000, Thomas L. Bevan
[EMAIL PROTECTED] wrote:
Hi,
I'd like some help building an IO StateTransformer which can be escaped midway
through without losing the state accummulated up to that point.
I tried constructing a
StateT s MaybeIO a monad but the state is lost
16 matches
Mail list logo