Thu Aug 16 03:24:43 PDT 2007 Manuel M T Chakravarty <chak at cse.unsw.edu.au> * Types families: Refl suceeds without tyfam patch M ./tests/ghc-regress/indexed-types/should_compile/all.T -1 +1