patch applied (testsuite): equality constraint encoding of functional dependency

[chak at cse.unsw.edu.au]

Mon Sep  3 03:00:53 PDT 2007  Tom Schrijvers <tom.schrijvers at cs.kuleuven.be>
  * equality constraint encoding of functional dependency
  where the FD's LHS is empty:
  
  	class C a | -> a
  
  The direct solution InstEqContext does not compile, but it probably should.
  There's an indirect solution InstEqContext2 which does work.
  

    A ./tests/ghc-regress/indexed-types/should_compile/InstEqContext.hs
    A ./tests/ghc-regress/indexed-types/should_compile/InstEqContext2.hs
    M ./tests/ghc-regress/indexed-types/should_compile/all.T +3