RE: 6.4.2 release plans

2006-03-20 Thread Simon Marlow
On 18 March 2006 18:32, Ian Lynagh wrote: On Wed, Mar 15, 2006 at 04:24:14PM +, Simon Marlow wrote: If you have anything else for 6.4.2, please let me know. Just a small thing, but it looks like, while the HEAD has been changed to send --help output to stdout, ghc-6.4.2.20060316 still

Re: ghc for SuSE. Reply

2006-03-20 Thread Simon Marlow
Serge D. Mechveliani wrote: To my request on GHC-6.4.1 for SuSE 10.0 Christian Maeder [EMAIL PROTECTED] writes on 17 Mar 2006 First, we install it to the system area from binary found on the GHC www page as Binary x86, Generic Linux with glib 2.3. This binary is not for a

RULES pragma with class constraint

2006-03-20 Thread John Meacham
Is it possible to create a RULES that fires only if a type has a given class constraint? something like: snub :: Ord a = [a] - [a] snub xs = f Set.empty xs where f _ [] = [] f (x:xs) set | x `Set.member` set = f xs | otherwise = x:f xs (Set.insert x set) {-# RULES

Re: ghc for SuSE. Reply

2006-03-20 Thread Serge D. Mechveliani
Thank you. We have now managed to install it. [..] To my request on GHC-6.4.1 for SuSE 10.0 [..] /usr/lib64/gcc/x86_64-suse-linux/4.0.2/../../../../x86_64-suse-linux/bin/ld: cannot find -lreadline you may try:

RE: RULES pragma with class constraint

2006-03-20 Thread Simon Peyton-Jones
Definitely not at present, and I see no easy way to implement it. RULES are implemented by simple matching in Core. A call to nub will have an Eq dictionary, but Core knows nothing of instance declarations, and has no clue how to make an Ord dictionary. But an Ord dictionary is what you want

Re: RULES pragma with class constraint

2006-03-20 Thread Bulat Ziganshin
Hello John, Monday, March 20, 2006, 2:49:14 PM, you wrote: JM Is it possible to create a RULES that fires only if a type has a given JM class constraint? something like: snub :: Ord a = [a] - [a] snub xs = f Set.empty xs where f _ [] = [] f (x:xs) set | x `Set.member` set =

Re: RULES pragma with class constraint

2006-03-20 Thread John Meacham
On Mon, Mar 20, 2006 at 12:09:41PM -, Simon Peyton-Jones wrote: Definitely not at present, and I see no easy way to implement it. RULES are implemented by simple matching in Core. A call to nub will have an Eq dictionary, but Core knows nothing of instance declarations, and has no clue