Tue Sep 4 05:39:45 PDT 2007 Tom Schrijvers <tom.schrijvers at cs.kuleuven.be> * bug fix in Decomp step of completion algorithm for given equations M ./compiler/typecheck/TcTyFuns.lhs -4 +5