Ticket #255 (closed enhancement: fixed)

Opened 5 years ago

Last modified 5 years ago

define-type's error message adds extra parens

Reported by: robby@… Owned by: plai
Priority: minor Milestone:
Component: plai/plai.plt Keywords:
Cc: Version: (1 16)
Racket Version: 4.2.4.2

Description

This program:

#lang planet plai/plai:1:16
(define-type t (c))
(type-case t (list 1) (c () 1))

produces the error message:

type-case: this value ((1)) is not of the specified type

but the extra pair of parens is confusing. I think better to stick with the standard error message style, ie something like:

type-case: expected a value from type t, got: (1)

Change History

Changed 5 years ago by robby

  • reporter changed from anonymous to robby@…

Changed 5 years ago by plai

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

will be fixed in next release

Note: See TracTickets for help on using tickets.