flexible contexts and context reduction

26 Mar 2008

      Hi,

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?

Cheers,

Ganesh

{-# LANGUAGE FlexibleContexts #-}

module Test2 where

foo :: Ord (a, b) => (a, b) -> (a, b)
foo = bar

bar :: (Ord a, Ord b) => (a, b) -> (a, b)
bar = id

flexible contexts and context reduction

Ganesh Sittampalam