From: Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Date: Mon, 18 Sep 2006 22:53:32 +0000 (+0000)
Subject: Remove checkTopTypeD
X-Git-Tag: After_FC_branch_merge~106
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=3734da50be1d8e1ddad5b5fe5c46fcfb3192d1da;hp=3734da50be1d8e1ddad5b5fe5c46fcfb3192d1da;p=ghc-hetmet.git

Remove checkTopTypeD
Tue Aug 15 17:02:53 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Remove checkTopTypeD
---