From: simonpj@microsoft.com Date: Thu, 10 Apr 2008 11:28:12 +0000 (+0000) Subject: Two improvements to boxy matching X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=f09bc7d19f2f87bf6540afd3240f3c274b8a4af2;hp=f09bc7d19f2f87bf6540afd3240f3c274b8a4af2;p=ghc-hetmet.git Two improvements to boxy matching I can't quite remember what provoked these two changes, but they are in my tree. One improves boxy_match (which failed unnecessarily) One fixes boxy_lub (which was assymetrical) ---