From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Wed, 19 Aug 2009 14:38:35 +0000 (+0200)
Subject: Don't error on type abstraction when cloning binders.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;ds=sidebyside;h=9b378bd9c8ea179ce0459fef9b362002f90dbc98;hp=9b378bd9c8ea179ce0459fef9b362002f90dbc98;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Don't error on type abstraction when cloning binders.

Since we might encounter type abstractions before normalizations, the old
behaviour broke on polymorphic functions (Though type arguments would have
been propagated, there would still be type abstractions directly applied
to the propagated types).

Note that this not actually clones the type variables, it just leaves them
untouched. Since we should never introduce new type variables, this should
_probably_ work out...
---