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. _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
