Issue CHECK-TYPE-EXAMPLE
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: