Fix egregious bug in deeplyInstantiate
authorsimonpj@microsoft.com <unknown>
Wed, 15 Sep 2010 07:03:25 +0000 (07:03 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 15 Sep 2010 07:03:25 +0000 (07:03 +0000)
commit6c5637803d14fd1035c38235123b4c112d1c2b00
tree93759270ed518bc7fef07d44cb32821d5198a149
parent7998a24404ffa577a3c303e37e4cfe0baf846454
Fix egregious bug in deeplyInstantiate

This resulted in an infinite loop in applyTypeToArgs, in syb
compiler/typecheck/Inst.lhs