Adapt FC-code in TcUnify to pre-subsumption
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:57:19 +0000 (18:57 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:57:19 +0000 (18:57 +0000)
commit4b6b4d23314c56e33726d8d02d0771ee6618df48
tree04801c0076b093c34f71caf49bf24a5c99395130
parent54c309c0135eaa656f16d3abada41e5392a1fae0
Adapt FC-code in TcUnify to pre-subsumption
Wed Sep 20 04:01:18 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Adapt FC-code in TcUnify to pre-subsumption
compiler/typecheck/TcUnify.lhs