patch applied (testsuite): tests for type family completion algorithm and higher order types

[chak at cse.unsw.edu.au]

Tue Sep  4 05:36:38 PDT 2007  Tom Schrijvers <tom.schrijvers at cs.kuleuven.be>
  * tests for type family completion algorithm and higher order types

    A ./tests/ghc-regress/indexed-types/should_compile/GivenCheck.hs
    A ./tests/ghc-regress/indexed-types/should_compile/GivenCheckDecomp.hs
    A ./tests/ghc-regress/indexed-types/should_compile/GivenCheckSwap.hs
    A ./tests/ghc-regress/indexed-types/should_compile/GivenCheckTop.hs
    A ./tests/ghc-regress/indexed-types/should_compile/HO.hs
    M ./tests/ghc-regress/indexed-types/should_compile/all.T +7