Re: Haskore installation

2000-02-02 Thread Koen Claessen
John Peterson wrote: | instance Show (a - b) where | showsPrec _ _ = showString " Function " We had the same problem in QuickCheck. When testing properties quantified over functions, we got a type error because suddenly "a - b" is not an instance of Show anymore. Now, if we had taken

Haskore installation

2000-02-01 Thread Neil Walker
I am setting up Haskore on a SuSe 6.3 Linux system, using the Haskore.Zip file from haskell.org/haskore/ and Hugs98-991018. On loading Haskore Hugs reports the following Prelude :load Haskore Reading file "/usr/share/hugs/lib/haskore/Haskore.hs": Reading file

Re: Haskore installation

2000-02-01 Thread John Peterson
This is a simple problem to fix - in Haskell 98 you need the following so that functions are in Show: instance Show (a - b) where showsPrec _ _ = showString " Function " I'll add this to the Haskore release. If you add this at the end of Basics.lhs you'll be able to load Haskore.

Re: Haskore installation

2000-02-01 Thread Neil Walker
On Tue, 01 Feb 2000, you wrote: This is a simple problem to fix - in Haskell 98 you need the following so that functions are in Show: instance Show (a - b) where showsPrec _ _ = showString " Function " I'll add this to the Haskore release. If you add this at the end of Basics.lhs