Keep sysnonyms folded in equalities if possible
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 16 Sep 2008 07:57:00 +0000 (07:57 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 16 Sep 2008 07:57:00 +0000 (07:57 +0000)
commitc93a92a5950a6343d93774cb07530deb8dd4ac3d
tree7a2a9dd440e4aaf367d3974ad774e8409b4fca14
parent447c0b257a0e8df3b79422b17ec2cf1d952027f3
Keep sysnonyms folded in equalities if possible
compiler/typecheck/TcTyFuns.lhs