Ticket #259 (closed defect: fixed)
contracts on field selectors use the wrong name
|Reported by:||robby||Owned by:||plai|
#lang planet plai/plai:1:17
[recV (address integer?)])
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.