id summary reporter owner description type status priority milestone component version resolution keywords cc difficulty 523 "contracts: ""unterminated list"" error" Mario Domenech Goulart See http://tests.call-cc.org/2011/03/10/salmonella-report/contracts.html defect closed major 4.9.0 extensions 4.6.x fixed contracts