id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,planetversion,pltversion 259,contracts on field selectors use the wrong name,robby,plai,"This program: #lang planet plai/plai:1:17 (define-type RCFAE-Value [recV (address integer?)]) (recV-address #f) produces this output: use broke the contract (-> recV1? integer?) on #f; expected , given: #f The ""1"" on the end of the predicate's name is wrong. (Note that this number will increase if there are more (or bigger) define-types, but I didn't try to track down exactly why.",defect,closed,major,,plai/plai.plt,fixed,,,(1 17),4.2.3