Issue CHECK-TYPE-EXAMPLE

Forum: Editorial

References: CHECK-TYPE

Category: CLARIFICATION/CHANGE

Edit history: 2005-04-20, Version 1 by Max-Gerd Retzlaff

Status: For CLiki consideration

Problem Description:

The example:

 (check-type aardvark-count (integer 0 *) "A positive integer")
>>  Error: The value of AARDVARK-COUNT, FOO, is not a positive integer.

suggests that a case conversion of the first letter of the optional string might take place.

Proposal (CHECK-TYPE-EXAMPLE:CASE-CONVERT-A):

Replace "A positive integer" by "a positive integer" in the call to CHECK-TYPE.

Test case:

Rationale:

Correct example.

Current practice:

N/A

Cost to Implementors:

None.

Cost to Users:

None.

Cost of Non-Adoption:

Buggy example.

Benefits:

Aesthetics:

Discussion:

• Max-Gerd Retzlaff votes for proposal CASE-CONVERT-A.

This page is linked from: Proposed ANSI Revisions and Clarifications  

CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively