Remove redundant code from type checker
Remove redundant code from type checker

darcs-hash:20081204230358-fbb9b-f5d6106170c58a993840e5e953d47c4db5904093.gz

jthornber/language-c-ejt,jthornber/language-c-ejt,jthornber/language-c-ejt