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 <recV1?>, 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