Strange ghci :def failure

2003-06-07 Thread George Russell
What is wrong here? / _ \ /\ /\/ __(_) / /_\// /_/ / / | | GHC Interactive, version 6.0, for Haskell 98. / /_\\/ __ / /___| | http://www.haskell.org/ghc/ \/\/ /_/\/|_| Type :? for help. Loading package base ... linking ... done. Prelude :def code (\ - do { let

Re: Strange ghci :def failure

2003-06-07 Thread Derek Elkins
On Sat, 07 Jun 2003 20:35:55 +0200 George Russell [EMAIL PROTECTED] wrote: What is wrong here? / _ \ /\ /\/ __(_) / /_\// /_/ / / | | GHC Interactive, version 6.0, for Haskell 98. / /_\\/ __ / /___| | http://www.haskell.org/ghc/ \/\/ /_/\/|_| Type :? for

Re: Multiparameter class confusion

2003-06-07 Thread Dylan Thurston
On Wed, Jun 04, 2003 at 01:21:00PM +0100, Graham Klyne wrote: There is a recurring difficulty I'm having using multiparameter classes. Most recently, I have a class Rule: [[ class (Expression ex, Eq (rl ex)) = Rule rl ex where ... ]] Which I wish to instantiate for a type GraphClosure

for all quantifier

2003-06-07 Thread Peter G. Hancock
On the hskell list, spj wrote I forget whether I've aired this on the list, but I'm seriously thinking = that we should change 'forall' to 'exists' in existential data constructors Thanks! It made me wonder what colour the sky is on planet Haskell. From a Curry-Howard point of view, (I

[ANNOUNCE] rsa-haskell 2.0.0

2003-06-07 Thread David Sankel
=== rsa-haskell 2.0.0 === RSA implementation in Haskell (rsa-haskell) contains the Simple and Strong Cryptography program set and Haskell libraries of several cryptographic standards. The libraries include haskell implementations of SHA1, EME-OAEP,

Re: Naive question on lists of duplicates

2003-06-07 Thread Dylan Thurston
On Thu, Jun 05, 2003 at 08:09:02AM -0500, Stecher, Jack wrote: I have an exceedingly simple problem to address, and am wondering if there are relatively straightforward ways to improve the efficiency of my solution. Was there actually a problem with the efficiency of your first code? The

RE: Naive question on lists of duplicates

2003-06-07 Thread Stecher, Jack
Thanks so much for the reply. On Thu, Jun 06, 2003 at 08:06 PM, Dylan Thurston wrote: Was there actually a problem with the efficiency of your first code? No -- it was untested, and as I developed more of the code in Haskell, I found that there were slight differences between what I thought we