Fix Trac #2714 (a minor wibble)
authorsimonpj@microsoft.com <unknown>
Wed, 22 Oct 2008 14:51:38 +0000 (14:51 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 22 Oct 2008 14:51:38 +0000 (14:51 +0000)
In boxy_match (which is a pure function used by preSubType) we can
encounter TyVars not just TcTyVars; this patch takes account of that.


No differences found