Hi,
I downloaded and installed ghc-5.02.2-i386-unknown-linux.tar.bz2 on my
RedHat Linux 6.2 box (because RPM won't install the relevant RPMs).
However, when I run ghci, I get the message ... GHC ... 5.02.1 ...
What do you think is happening here?
Best Regards,
Byron Hale
[EMAIL PROTECTED]
PThe first release, 0.1, of Object I/O is now
available.
PThe Object I/O for Haskell library is a port of
standard Clean Object I/O library. The general
structure of the Haskell version is inherited from the
original library but there are also few differences
provoked from the languages
Ashley
Just leave out the existential in your defn of D!
The (C a b) in the defn of f will do the job.
But your example nevertheless does expose a delicate interaction in the
type checker. 5.02.2 happened not to expose the functional
dependency, so it simply use the (C a b) that f provided.
--- Simon Peyton-Jones [EMAIL PROTECTED] wrote:
Well done!
You never responded to my question about MVars...
Simon
The version that I release is based entirely on LS
version. I think that it is more elegant and more
useful for customer.
1) In the MVAR version each event handler
Hi Bernie,
I've been playing with the FFI in GHC 5.02.2
I'm not sure if I'm using it correctly because I get a space leak
in my program.
I just tried your example and it seems to run in constant space here
with 5.02.2. The code looks fine - this isn't something we really
envisaged people
A while back I asked how to make the Ref's from Koen Clasessen's PhD
thesis Ord-able for the purpose of making them keys for efficient
finite maps.
Koen quickly responded with a clever implementation which attaches the
values to the keys. While I don't rule out eventually making use of
Krasimir
|The version that I release is based entirely on LS
| version. I think that it is more elegant and more
| useful for customer.
I'm delighted and impressed that you have completed the Object I/O
port, but I don't think I agree with you about the MVar/LS issue.
A note to
I don't know how to make existentials know about functional
dependencies. In the type system that GHC implements, your
example fails, and I don't see any meaningful way to make it
succeed. But maybe someone else does.
Simon
| -Original Message-
| From: Ashley Yakeley [mailto:[EMAIL
The (Interactive) Glasgow Haskell Compiler -- version 5.02.3
==
We are pleased to announce a new patchlevel release of the Glasgow
Haskell Compiler (GHC), version 5.02.3. The source distribution is
freely available via the
--- Peter Achten [EMAIL PROTECTED] wrote:
Perhaps there is an interesting alternative that
covers all GOOD points and has fewer BAD points.
Some pieces of library can be simplified if redefine:
data WindowLSHandle ls ps
= WindowLSHandle
{ wlsState:: ls
, wlsHandle
At 11:40 AM 4/8/2002 +0100, you wrote:
I downloaded and installed ghc-5.02.2-i386-unknown-linux.tar.bz2 on my
RedHat Linux 6.2 box (because RPM won't install the relevant RPMs).
However, when I run ghci, I get the message ... GHC ...
5.02.1 ...
What do you think is happening here?
On Mon, Apr 08, 2002 at 01:13:13PM +0100, Simon Marlow wrote:
The (Interactive) Glasgow Haskell Compiler -- version 5.02.3
Nice. :-)
NOTE: object files created by this vesrion of GHC may be incompatible
with object files created by older versions of GHC, so be sure to
recompile any
PThe first release, 0.1, of Object I/O is now
available.
PThe Object I/O for Haskell library is a port of
standard Clean Object I/O library. The general
structure of the Haskell version is inherited from the
original library but there are also few differences
provoked from the languages
Having written a Haskell LDAP interface, this is something that worried me
but I never got to the bottom of. I've cross-posted this to haskell
(hopefully the right place). There was some discussion of replacing Char by
a type for raw bytes / octets but I'm not sure what happened to it.
Dominic.
Folks
Following a good deal of email I now propose to
DO NOTHING
to the rules defining do-notation in the Haskell 98 Report.
That means that GHC and Hugs, and nhc perhaps, should
change so that they actually implement the do-notation
translation rule
do {e ; stmts} = e do
Hi Till,
My guess is that you want to break up a text file into
a list of lines with Parsec. (ie. lines functionality).
A text file consists of non-newline characters seperated by
newline characters:
import Parsec
plines :: Parser [String]
plines = (many (noneOf \n)) `sepBy` newline
You
The (Interactive) Glasgow Haskell Compiler -- version 5.02.3
==
We are pleased to announce a new patchlevel release of the Glasgow
Haskell Compiler (GHC), version 5.02.3. The source distribution is
freely available via the
Hello Krasimir,
I am very curious about your implementation of the Object I/O system, but
unfortunately could not open the .zip files either (same symptoms as Arjan
van IJzendoorn wrote). Could you check the formats of these files? Thanks
in advance.
Simon Peyton-Jones wrote:
Krasimir
|
--- Peter Achten [EMAIL PROTECTED] wrote:
Perhaps there is an interesting alternative that
covers all GOOD points and has fewer BAD points.
Some pieces of library can be simplified if redefine:
data WindowLSHandle ls ps
= WindowLSHandle
{ wlsState:: ls
, wlsHandle
Hello all,
Peter Achten and Arjan van IJzendoorn wrote:
I ... unfortunately could not open the .zip files
and Peter asked
Could you check the formats of these files?
After having tried to download the file a few times, I believe
the problem is not in the zip file format, but download failure.
FloC 2002 workshop SAVE 2002
Workshop on Specification, Analysis and Validation for Emerging Technologies
Copenhagen , Denmark, July 27, 2002
CALL FOR PAPERS
SUBMISSION DEADLINE: APRIL 27, 2002
^^
I just just wanted to say that I agree with almost everything Conor said.
I find it a little odd that the extension to Haskell that allows explicit
forall
does not also allow you use explicit type application (and type lanbda).
-- Lennart
C T McBride wrote:
Hi
On Fri, 5 Apr 2002, Ashley
At 2002-04-08 12:45, Lennart Augustsson wrote:
I just just wanted to say that I agree with almost everything Conor said.
I find it a little odd that the extension to Haskell that allows explicit
forall
does not also allow you use explicit type application (and type lanbda).
What did you have in
Ashley Yakeley [EMAIL PROTECTED] writes:
[...]
-- which of these types are the same?
f1 = MkFoo undefined :: Foo Succ;
f2 = MkFoo undefined :: Foo Succ';
f3 = MkFoo undefined :: Foo Succ'';
f4 = MkFoo undefined :: Foo (Add (Succ Zero));
yeah, why not! Have them all be the same
Simon Marlow [EMAIL PROTECTED] writes:
The (Interactive) Glasgow Haskell Compiler -- version 5.02.3
==
We are pleased to announce a new patchlevel release of the Glasgow
Haskell Compiler (GHC), version 5.02.3. The source
25 matches
Mail list logo