[Haskell-cafe] What versions do I need to compile the fptools?

2004-07-29 Thread Ron de Bruijn
I want to compile all of the fptools. This is what I did: I got all files via CVS. And I did autoreconf ./configure make But with the make step gcc crashes with an internal error on Syntax.hi. I already filled in a bug report (not the most clear of them). I especially installed an old version

Re: [Haskell-cafe] optimising for vector units

2004-07-29 Thread Ronny Wichers Schreur
Jan-Willem Maessen writes (in the Haskell Cafe): My ultimate goal was parallelization. However, I'm now convinced it would take about 2-3 programmer-years more of effort to realize that goal. Parallel garbage collection (which is *not* optional on a parallel Haskell implementation, as our

[Haskell-cafe] Hello and help request

2004-07-29 Thread enrico . santoemma
Hello to everyone :) My name is Enrico, 40, and I write software for the industry at Beta 80 Group. After this short introduction, here is the help request: I'm managing the rewrite of an application, to port it to the 'classic' Java three-tiers architecture. Before I begin to feed the team, I

[Haskell-cafe] not getting most general type - is this a bug in hugs?

2004-07-29 Thread blaetterrascheln
$ cat x.hs rep0 :: Num a = [a] rep0 = repeat 0 rep0' = repeat 0 $ hugs x.hs ... Main :t rep0 rep0 :: Num a = [a] Main :t repeat 0 repeat 0 :: Num a = [a] Main :t rep0' rep0' :: [Integer]-- WHAT?? Main :version -- Hugs Version Nov 2002

Re: [Haskell-cafe] not getting most general type - is this a bug in hugs?

2004-07-29 Thread Andreas Rossberg
[EMAIL PROTECTED] wrote: rep0' :: [Integer]-- WHAT?? You just have made first contact with the Dreaded Monorphism Restriction. -- Andreas Rossberg, [EMAIL PROTECTED] Let's get rid of those possible thingies! -- TB ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Hello and help request

2004-07-29 Thread Henning Thielemann
On Thu, 29 Jul 2004 [EMAIL PROTECTED] wrote: I'm very fresh on Haskell. Exactly... chapter 13 of SOE :) Are type classes different from Java classes? Type classes are a static issue. They are roughly speaking bundles of functions that can be overloaded.

Re: [Haskell-cafe] why is Prelude.^ so convoluted?

2004-07-29 Thread blaetterrascheln
x ^ n = if even n then y*y else y*y*x where y = x ^ (n `quot` 2) x ^ n | n0 = if even n then y*y else y*y*x where y = x ^ (n `quot` 2) Verschicken Sie romantische, coole und witzige Bilder per SMS! Jetzt neu bei WEB.DE FreeMail:

Re: [Haskell-cafe] Hello and help request

2004-07-29 Thread Philippa Cowderoy
On Thu, 29 Jul 2004, Henning Thielemann wrote: On Thu, 29 Jul 2004 [EMAIL PROTECTED] wrote: I'm very fresh on Haskell. Exactly... chapter 13 of SOE :) Are type classes different from Java classes? Type classes are a static issue. They are roughly speaking bundles of functions that can

Re: [Haskell-cafe] Hello and help request

2004-07-29 Thread enrico . santoemma
To put it another way, they're closer to Java interfaces - though type classes are a more general idea, as demonstrated by the multi-parameter type classes supported by ghc et al. You can think of them as a predicate - this type has implementations for these overloaded functions. Ok, very clear.

Re: [Haskell-cafe] Hello and help request

2004-07-29 Thread Graham Klyne
At 14:50 29/07/04 +0200, [EMAIL PROTECTED] wrote: Are type classes different from Java classes? I think so, but I guess this means that one should ask different things to type classes, respect to what is being asked to Java classes. It is this difference that's unclear to me. I made some notes

Re: [Haskell-cafe] why is Prelude.^ so convoluted?

2004-07-29 Thread Brandon Beck
I'm far from an expert in Haskell, but I suspect the justification is because the version in the prelude is tail recursive while yours isn't. So the tail recursive version should run a bit faster when n is large. ___ Haskell-Cafe mailing list [EMAIL

[Haskell-cafe] Typeclass problem

2004-07-29 Thread Mark T.B. Carroll
I have a little programme that doesn't compile: module Example where class (Show c, Ord c, Bounded c) = MyClass c showThings :: MyClass c = c - (String, String) showThings x = let foo = maxBound :: c in (show x, show foo) If I change

Re: [Haskell-cafe] Typeclass problem

2004-07-29 Thread Bjorn Bringert
Mark T.B. Carroll wrote: I have a little programme that doesn't compile: module Example where class (Show c, Ord c, Bounded c) = MyClass c showThings :: MyClass c = c - (String, String) showThings x = let foo = maxBound :: c in (show x, show

Re: [Haskell-cafe] Typeclass problem

2004-07-29 Thread Mark T.B. Carroll
On Thu, 29 Jul 2004, Bjorn Bringert wrote: (snip) You could use asTypeOf from the Prelude: let foo = maxBound `asTypeOf` x Ah. I should re-read the Prelude every couple of months. (-: Thanks! Also, Hugs and GHC both support an extension which lets you put type annotations in patterns:

[Haskell-cafe] lhaskell.vim syntax highlighting script

2004-07-29 Thread Andrew Pimlott
haskell-cafe, you are listed as the maintainer of the vim haskell syntax highlighting script. :-) lhaskell.vim uses the tex.vim syntax script, which does set iskeyword-=_. This makes editing haskell rather uncomfortable (eg, the '*' command doesn't work right). I don't know what breaks if you