( if g 1 g 2 g 3) CMACRO

(if a b c) は、以下のようにマクロ展開され評価される。

   (cond (a b) (c))

(if a b) は、以下のようにマクロ展開され評価される。

   (cond (a b))

if の条件が真だったときの処理をたくさん書きたいときに、

   (if predicate
     proc1
     proc2
     ...
     procn)

のように書きたくなるが、これは正しくない。以下のように progn を使わな ければならない。

   (if predicate
     (progn
        proc1
        proc2
        ...
        procn))