deeqSeq proposal

[John Meacham]

On Tue, Apr 11, 2006 at 12:15:57PM +0100, Simon Peyton-Jones wrote:
> | well, there is a difference there in that 'seq' is unimplementable in
> | haskell, so the design comitee had freedom to implement it however
> they
> | wanted. 
> 	
> 	class Eval a where
> 	  seq :: a -> b -> b
> 
> 	instance Eval (a,b) where
> 	   seq (_,_) b = b
> 
> 	instance Eval [a] where
> 	   seq [] b = b
> 	   seq (_:_) b = b

instance Eval (a -> b) where
        ....

?

        John

-- 
John Meacham - ⑆repetae.net⑆john⑈