From: Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Date: Mon, 10 Sep 2007 08:34:57 +0000 (+0000)
Subject: Cleaned up version of Tom's unflattened skolemOccurs
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=37df27c6f21452c60c45b5cf6defc9003a41da15;hp=37df27c6f21452c60c45b5cf6defc9003a41da15;p=ghc-hetmet.git

Cleaned up version of Tom's unflattened skolemOccurs
---