Theoretically, there is nothing stopping you from writing code which will never finish compiling if you have a Turing-complete typesystem.