Re: [Haskell-cafe] Haskell extension/improvement

2004-08-16 Thread Ron de Bruijn
--- Martin_Sjögren <[EMAIL PROTECTED]> wrote: > On Mon, 16 Aug 2004 09:01:45 -0700 (PDT), Ron de > Bruijn > <[EMAIL PROTECTED]> wrote: > > I was playing with QuickCheck and I just wanted to > put > > all of my tests in a list, but that's not > possible, > > because of the fact that a list can onl

Re: [Haskell-cafe] Haskell extension/improvement

2004-08-16 Thread Martin Sjögren
On Mon, 16 Aug 2004 09:01:45 -0700 (PDT), Ron de Bruijn <[EMAIL PROTECTED]> wrote: > I was playing with QuickCheck and I just wanted to put > all of my tests in a list, but that's not possible, > because of the fact that a list can only contain > values of the same type. > > So concrete I would li

[Haskell-cafe] Haskell extension/improvement

2004-08-16 Thread MR K P SCHUPKE
See http://www.cwi.nl/~ralf/HList for a paper which shows how to implement a heterogeneous list in haskell, and how to implement operations on it (amongst other things)... Keean. ___ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskel

[Haskell-cafe] Haskell extension/improvement

2004-08-16 Thread Ron de Bruijn
I was playing with QuickCheck and I just wanted to put all of my tests in a list, but that's not possible, because of the fact that a list can only contain values of the same type. So concrete I would like to write down this: prop_RevRev xs = reverse (reverse xs) == xs where types = xs::[Int]

[Haskell-cafe] automatic Haskell indentations

2004-08-16 Thread Henning Thielemann
Looking for automatic indentation of Haskell code I found the thread http://www.haskell.org/pipermail/haskell-cafe/2003-August/005000.html It ended up with many suggestions for manual formatting of code. I wonder if there is some tool which simply formats a Haskell program. A tool like 'indent'

RE: [Haskell-cafe] Hiding functions

2004-08-16 Thread Simon Peyton-Jones
Yes that's true. See http://haskell.org/onlinereport/modules.html Section 5.5 S | -Original Message- | From: Lyle Kopnicky [mailto:[EMAIL PROTECTED] | Sent: 13 August 2004 23:37 | To: Simon Peyton-Jones | Cc: Haskell Cafe | Subject: Re: [Haskell-cafe] Hiding functions | | Simon, | | It