[m-rev.] for review: Fix problems with higher-order inst matching with polymorphic modes.

[Peter Wang]

On Wed, 8 Oct 2014 16:53:49 +1100, Peter Wang <novalazy at gmail.com> wrote:
> On Wed, 1 Oct 2014 16:16:18 +1000, Peter Wang <novalazy at gmail.com> wrote:
> > On Mon, 18 Aug 2014 16:06:37 +1000, Peter Wang <novalazy at gmail.com> wrote:
> > > XXX contravariance_poly is broken but that may be due to a weakness
> > > elsewhere
> > 
> > This fixes the last known problem exposed by this patch series.
> 
> If there are no objections, I will commit the series (with some minor
> touchups) in a couple of days.

Committed.

Peter