succ

Conformance: SketchyLISP Core

Purpose: Find the successor of a decimal digit.
(succ 9d) => ().

Arguments:
X - symbol representing a digit

Implementation:

(define (succ x)
  (cond ((eq? x 0d) 1d)
        ((eq? x 1d) 2d)
        ((eq? x 2d) 3d)
        ((eq? x 3d) 4d)
        ((eq? x 4d) 5d)
        ((eq? x 5d) 6d)
        ((eq? x 6d) 7d)
        ((eq? x 7d) 8d)
        ((eq? x 8d) 9d)
        ((eq? x 9d) '())
        (else (bottom 'digit 'expected))))

Example:

(succ 3d) 
=> 4d

See also:
digits, pred.