rm test/prova.hs*