Tony Hansen wrote: > I've noticed that a number of implementations haven't been putting in a > propspec when the result is a failure. And I think this may be the > correct thing to do in certain cases. > Which cases?