Re: [Haskell] Haskell 6.4 perfomance

2005-03-25 Thread Alexandre
Keean, thank you. Does any tests/benchmarks available? Regards, /Alexandre. On Mar 25, 2005, at 00:47, Keean Schupke wrote: Think this should really go to glasgow-haskell-users... If this is true - how do I get ghc to use C--, and is it really faster than using gcc as a backend with all the bells

Allowing duplicate instances in GHC 6.4

2005-03-25 Thread Robert van Herk
Hi all, I need to use duplicate instances. I read in the documentation on GHC 6.4, that overlapping class instances checks are lazy instead of gready in 6.4. However, my code still gives duplicate instance errors when compiling in GHC 6.4. Is the duplicate instance check still gready? Is there

Biographical Profiling

2005-03-25 Thread Andreas Marth
Hallo! The ghc user guide says that there are 4 states a heap object may be in. Unfortunately in my program there are 5 states (inherent_use, use, drag, lag, void) with inherent_use being the biggest part (many MBs) and the one not mentioned in the users guide. My question is what does it mean?

Re: Allowing duplicate instances in GHC 6.4

2005-03-25 Thread Keean Schupke
Robert van Herk wrote: Hi all, I need to use duplicate instances. I read in the documentation on GHC 6.4, that overlapping class instances checks are lazy instead of gready in 6.4. However, my code still gives duplicate instance errors when compiling in GHC 6.4. Is the duplicate instance check

Re: Allowing duplicate instances in GHC 6.4

2005-03-25 Thread Keean Schupke
Keean Schupke wrote: Robert van Herk wrote: Hi all, I need to use duplicate instances. I read in the documentation on GHC 6.4, that overlapping class instances checks are lazy instead of gready in 6.4. However, my code still gives duplicate instance errors when compiling in GHC 6.4. Is the

Re: Allowing duplicate instances in GHC 6.4

2005-03-25 Thread Robert van Herk
Keean Schupke wrote: Robert van Herk wrote: Hi all, I need to use duplicate instances. I read in the documentation on GHC 6.4, that overlapping class instances checks are lazy instead of gready in 6.4. However, my code still gives duplicate instance errors when compiling in GHC 6.4. Is the

Re: Allowing duplicate instances in GHC 6.4

2005-03-25 Thread Keean Schupke
There was a typo in the code I posted: class Fail data This_should_never_happen should read: class Fail x data This_should_never_happen Keean. ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org

Re: Allowing duplicate instances in GHC 6.4

2005-03-25 Thread Keean Schupke
Just thought I ought to point out that all this is only necessary if the datasources may return different types... If you want them to return the same type you only need: instance (Datasource l k v,Datasource r k v) = Datasource (JoinedDS l r) k v ... As both datasources have the same key and

Re: Allowing duplicate instances in GHC 6.4

2005-03-25 Thread Robert van Herk
Keean Schupke wrote: Just thought I ought to point out that all this is only necessary if the datasources may return different types... If you want them to return the same type you only need: instance (Datasource l k v,Datasource r k v) = Datasource (JoinedDS l r) k v ... As both datasources

Re: Allowing duplicate instances in GHC 6.4

2005-03-25 Thread Keean Schupke
Robert van Herk wrote: Keean Schupke wrote: Just thought I ought to point out that all this is only necessary if the datasources may return different types... If you want them to return the same type you only need: instance (Datasource l k v,Datasource r k v) = Datasource (JoinedDS l r) k v

Re: [Haskell] The FunctorM library

2005-03-25 Thread Thomas Hallgren
Simon Peyton-Jones wrote: | | class Functor f where fmap :: ... | class Functor m = Monad m where | ...the usual stuff... | fmap = liftM | It seems overkill to have a whole new language feature to deal with one library issue. Perhaps it is... For example, what if

[Haskell] Profiling strategies

2005-03-25 Thread Andreas Marth
Hallo! Does anybody have some profiling strategies other than from the ghc user guide? Any references, suggestions and so on are very welcome. Thanks, Andreas ___ Haskell mailing list Haskell@haskell.org

Re: [Haskell-cafe] Question on leazy evaluation

2005-03-25 Thread Pierre Barbier de Reuille
Still on the same subject, I solved one problem but don't really understand why it didn't work in the first place ! Although it seems to be a difference between newtype and data ! I have a newtype defined as : data Fct s a = Fct (s - [a]) and a function defined by : plus :: Fct a b - Fct a b -

Re: [Haskell-cafe] Question on leazy evaluation

2005-03-25 Thread Tomasz Zielonka
On Fri, Mar 25, 2005 at 03:13:48PM +0100, Pierre Barbier de Reuille wrote: plus :: Fct a b - Fct a b - Fct a b plus (Fct f1) (Fct f2) = Fct ( \ a - (f1 a) ++ (f2 a) ) For some reason, this function does not use leazy evaluation ! I can test it using : test_fct :: Fct Int Int test_fct =