RE: ghc-CVS 001024: minor hslibs dependency bug

2000-10-25 Thread Simon Marlow
The dependency "concurrent" should be added to line 11 of /hslibs/net/Makefile so that it becomes: HSLIB_DEPS = lang text concurrent After that fix, 'make boot' goes through. Thanks, I've applied your fix. Cheers, Simon ___

False duplicate or overlapping instances message

2000-10-25 Thread George Russell
When I compile the attached file on Linux with 4.08.1: /home/ger/ghc-4.08.1-binary/bin/ghc -c Instances.hs -fglasgow-exts -fallow-overlapping-instances -fallow-undecidable-instances I get the message: Instances.hs:1: Duplicate or overlapping instance declarations for `HasConfig

Re: False duplicate or overlapping instances message

2000-10-25 Thread Keith Wansbrough
Instances.hs:1: Duplicate or overlapping instance declarations for `HasConfig (arcTypeConfig value) (arcTypeParms value)' defined at Instances.hs:19 and defined at Instances.hs:11 This is not fair, because while the instances for HasConfig have the potential to

Re: False duplicate or overlapping instances message

2000-10-25 Thread George Russell
Keith Wansbrough wrote: Instances.hs:1: Duplicate or overlapping instance declarations for `HasConfig (arcTypeConfig value) (arcTypeParms value)' defined at Instances.hs:19 and defined at Instances.hs:11 This is not fair, because while the instances for

Re: False duplicate or overlapping instances message

2000-10-25 Thread George Russell
Keith Wansbrough wrote: You can now see that the two instance declarations overlap: their right hand sides are in fact *identical*. Remember that the typechecker simply matches on the right-hand sides ("heads") of the instance declarations. No they do not overlap, unless there is

group theory. Reply

2000-10-25 Thread S.D.Mechveliani
Hi, all, To Eric Allen Wohlstadter's ([EMAIL PROTECTED]) : Are there any Haskell libraries or programs related to group theory? I am : taking a class and it seems like Haskell would be a good programming : language for exploring/reasoning about group theory. What I had in mind : was perhaps

Re: group theory. Reply

2000-10-25 Thread Jerzy Karczmarczuk
S.D.Mechveliani wrote: Hi, all, To Eric Allen Wohlstadter's : Are there any Haskell libraries or programs related to group theory? ... Marc van Dongen [EMAIL PROTECTED] writes I think Sergey Mechveliani's docon (algebraic DOmain CONstructor) has facilities for that. ...

Re: Haskell Programming Environment

2000-10-25 Thread Sengan Baring-Gould
Hello, I'm writing my master thesis. Its subject is 'Haskell Programming Environment'. It is (or rather will be) an extended text editor working i= n graphical (XFree86) environment designed for Haskell programmers. It will= be implemented using Fudgets library. I'm wondering what

Re: Haskell Programming Environment

2000-10-25 Thread Keith Wansbrough
I've been wanting to code one of these myself, but have had no time. Try and see if stg-hugs is useable yet since that would be a much better environment to do it in. It's now called GHCi, and is being written right now by the GHC team. Not sure when the estimated completion time is, but it

cpp superior to ghc . . .

2000-10-25 Thread George Russell
Why does the Haskell language not allow "type" declarations to appear in the declaration parts of where and let clauses? I've just been writing a huge functions which requires lots and lots of repetitive internal type annotations (to disambiguate some complicated overloading) but I can't

Re: cpp superior to ghc . . .

2000-10-25 Thread Marcin 'Qrczak' Kowalczyk
Wed, 25 Oct 2000 22:08:55 +0200, George Russell [EMAIL PROTECTED] pisze: Why does the Haskell language not allow "type" declarations to appear in the declaration parts of where and let clauses? Because you can always lift them to the top level. -- __(" Marcin Kowalczyk * [EMAIL PROTECTED]