Marc Weber wrote: > Nevertheless its unsatisfactory that the compiler doesn't stop/ fail in > reasonable time. > > If there is an easy way aborting in such case (where its known that > there are 1000+ cases - can you make the compiler fail ?) > OK, I've pushed a change that uses a heuristic to prevent this.