add tests/neg/HolesTop.hs