Use a version of obtainTerm that takes a max depth bound
[ghc-hetmet.git] / compiler / typecheck / TcTyFuns.lhs
2007-08-28 Manuel M T ChakravartyType checking for type synonym families