RE: basicTypes/Var.lhs:194: Non-exhaustive patterns in function readMutTyVar

2000-11-28 Thread Simon Peyton-Jones
Thanks. I've added both tests to the HEAD. Jeff: let us know the outcome re bug-hunt. Simon | -Original Message- | From: Thomas Hallgren [mailto:[EMAIL PROTECTED]] | Sent: 28 November 2000 04:08 | To: Jeffrey R. Lewis | Cc: Simon Peyton-Jones; [EMAIL PROTECTED] | Subject: Re:

Re: basicTypes/Var.lhs:194: Non-exhaustive patterns in function readMutTyVar

2000-11-28 Thread Jeffrey R. Lewis
Simon Peyton-Jones wrote: Thanks. I've added both tests to the HEAD. Jeff: let us know the outcome re bug-hunt. Attached is a much shorter demonstration of the first bug. I don't have the HEAD checked out anywhere right now, so it isn't convenient to change it myself. --Jeff P.S. the

Re: Important error in Download GHC 4.08.1 page

2000-11-28 Thread Reuben Thomas
On the page http://www.haskell.org/ghc/download.html The link titled "RedHat 7 binary" should be changed from this URL: ftp://ftp.cse.unsw.edu.au/pub/users/chak/jibunmaki/i386/ghc-4.08.1-1.i386.rpm to this URL:

Re: New InstallShield: no more DLLs

2000-11-28 Thread Reuben Thomas
Also, there is at present an unresolved and deep-seated bug (possibly not even in GHC) that prevents some very simple DLLized programs from working. When may Win users expect this bug to be fixed? (A difficult question, I know.) I've given up on it for the moment; having looked at the

Green Card for untyped lambda calculus?

2000-11-28 Thread Elke Kasimir
I'm concerned with the following problem: A possible (though probably unusual) characterization of list data structures is three functions nil :: List a cons:: a - List a - List a forlist :: b - (a - List a - b) - List a - b for which forlist fornil forcons nil

Re: Green Card for untyped lambda calculus?

2000-11-28 Thread Marcin 'Qrczak' Kowalczyk
Tue, 28 Nov 2000 19:17:32 +0100 (CET), Elke Kasimir [EMAIL PROTECTED] pisze: The implementation I'm interested in (one without constructors) is: nil fornil forcons= fornil consx xs fornil forcons= forcons x xs forlist fornil forcons ls = ls fornil forcons It can

RE: Green Card for untyped lambda calculus?

2000-11-28 Thread Mark P Jones
Hi Elke, | A possible (though probably unusual) characterization | of list data structures is three functions | | nil :: List a | cons:: a - List a - List a | forlist :: b - (a - List a - b) - List a - b | | The implementation I'm interested in (one without |

Re: Will Haskell be commercialized in the future?

2000-11-28 Thread Manuel M. T. Chakravarty
Adrian Hey [EMAIL PROTECTED] wrote, On Mon 27 Nov, Fergus Henderson wrote: Do you think that Haskell would be better without `unsafePerformIO'? Well, a sceptic like me is bound to wonder why such a non-function is provided in a purely functional language. What really worries me is that