Wed Sep 20 11:57:19 PDT 2006 Manuel M T Chakravarty <chak at cse.unsw.edu.au>
* Adapt FC-code in TcUnify to pre-subsumption
Wed Sep 20 04:01:18 EDT 2006 Manuel M T Chakravarty <chak at cse.unsw.edu.au>
* Adapt FC-code in TcUnify to pre-subsumption
M ./compiler/typecheck/TcUnify.lhs -3 +2