On Tuesday, July 17, 2012 11:47:07 Christophe Travert wrote: > The compiler could stop displaying at about 10 failed constrains and > claim there are more. It would be best if it could figure out what are > the 10 most interesting constrains, but that may not be easy! That seems like a good idea. - Jonathan M Davis