Ticket #256 (closed defect: fixed)

Opened 4 years ago

Last modified 4 years ago

test cases & contracts in define-type

Reported by: robby Owned by: plai
Priority: major Milestone:
Component: plai/plai.plt Keywords:
Cc: Version:
Racket Version: 4.2.4.2

Description

This is really two bugs:

- the contract seems to not have a name for the function (see "on #f" in error message)

- there is no expected value in the result (see "<no-expected-value>")

#lang planet plai/plai:1:16
(define-type t (c (n number?)))
(test (c 'not-a-number) (list 5))

;; =>

(exception (c 'not-a-number) "use broke the contract (-> number? c1?) on #f; expected <number?>, given: not-a-number" <no-expected-value> "at line 3")

Change History

Changed 4 years ago by plai

  • status changed from new to accepted

I will fix this when the contract api is stable again.

Changed 4 years ago by plai

  • status changed from accepted to closed
  • resolution set to fixed
Note: See TracTickets for help on using tickets.