t3x.org / sketchy / library / succ.html
SketchyLISP
Reference
  Copyright (C) 2006
Nils M Holm

succ

Conformance: SketchyLISP Core

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

Arguments:
X - 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) '())
    (#t (bottom 'type-error))))

Example:

(succ 3d) 
=> 4d

See also:
digits, pred.