deeqSeq proposal

Simon Peyton-Jones simonpj at
Tue Apr 11 07:15:57 EDT 2006

| well, there is a difference there in that 'seq' is unimplementable in
| haskell, so the design comitee had freedom to implement it however
| 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



More information about the Haskell-prime mailing list