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.
- Aesthetics: