From: Manuel M T Chakravarty Date: Thu, 28 Feb 2008 00:19:57 +0000 (+0000) Subject: Eliminate SkolemOccurs skolems only after checkLoop reached a fixed point X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=sidebyside;h=78ec7aabf27eae748efdc56583ec4e5a6d136ba8;hp=78ec7aabf27eae748efdc56583ec4e5a6d136ba8;p=ghc-hetmet.git Eliminate SkolemOccurs skolems only after checkLoop reached a fixed point - See test case indexed-types/should_fail/SkolemOccursLoop, which sends the type checker into an endless loop without this fix ---