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