26 Mar
2008
26 Mar
'08
5:36 p.m.
On Wed, 26 Mar 2008, Ross Paterson wrote:
On Wed, Mar 26, 2008 at 08:52:43PM +0000, Ganesh Sittampalam wrote:
I'm a bit confused about why the following program doesn't compile (in any of 6.6.1, 6.8.1 and 6.9.20080316). Shouldn't the Ord (a, b) context be reduced?
To use bar, you need (Ord a, Ord b). You're assuming that Ord (a, b) implies that, but it's the other way round.
Oh yes, I see. Thanks. Ganesh