Ticket #259 (closed defect: fixed)

Opened 5 years ago

Last modified 5 years ago

contracts on field selectors use the wrong name

Reported by: robby Owned by: plai
Priority: major Milestone:
Component: plai/plai.plt Keywords:
Cc: Version: (1 17)
Racket Version: 4.2.3

Description

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.

Change History

Changed 5 years ago by plai

  • status changed from new to closed
  • resolution set to fixed

This will be fixed in the next release.

Note: See TracTickets for help on using tickets.