Rewrite fixTvSubstEnv so it iteratively applies its substition
authorIan Lynagh <igloo@earth.li>
Wed, 20 Feb 2008 15:37:52 +0000 (15:37 +0000)
committerIan Lynagh <igloo@earth.li>
Wed, 20 Feb 2008 15:37:52 +0000 (15:37 +0000)
commit7350aaa60aaf63074202f24208497e2d64ddffb2
tree2242cbf99ad053977cbd4f3564f7994abe365e0a
parent57703f9ab7b58456da1d53f430c5a17e23947b62
Rewrite fixTvSubstEnv so it iteratively applies its substition
This fixes a stack overflow when using strict UniqFMs. It might be
possible to rewrite it more efficiently, or to avoid needing it in the
first place.
compiler/typecheck/TcGadt.lhs