id summary reporter owner description type status priority milestone component resolution keywords cc planetversion pltversion 283 incorrect `declare-exporting' anonymous dherman "The `declare-exporting' line at the beginning of types.scrbl is @declare-exporting[(planet dherman/types:1)] but should be @declare-exporting[(planet dherman/types:2)]" defect new major dherman/types.plt (2 0) 4.2.5