contracts on field selectors use the wrong name

[robby]

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.

[plai]

This will be fixed in the next release.