checkTauTvUpdate: take synonym families into account
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 10 Jan 2007 18:44:51 +0000 (18:44 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 10 Jan 2007 18:44:51 +0000 (18:44 +0000)
commit272fb49ecfeffe7aaa66b9b61bab12d8a858458d
tree566a4020e79e759c893bc421730a2780b2b1ad10
parentc4ff47eac2c5b9046eec296dc6a5e6cebc351f61
checkTauTvUpdate: take synonym families into account
compiler/typecheck/TcType.lhs
compiler/typecheck/TcUnify.lhs
compiler/types/TyCon.lhs