LISPUSER

SLIME の Read-Eval-Print ループは Emacs が Lisp への接続を確立するとすぐに ``*slime-repl*`` バッファ上に表示されます。REPL バッファは伝統的な ``*inferior-lisp*`` バッファに似ていますが、Emacs と Lisp がより統合されています。 トップレベルの一部分は Emacs Lisp で書かれており、Emacs は常にどこにプロンプ トを表示するかを知っており、出力や戻り値の違いを示す事ができます。また、REPL はエラーが発生すると自動的に SLIME のデバッガを使用します。

スクリーンショットの右上が REPL です(その下はデバッガ)。プロンプト、入力、出 力、式の戻り値のそれぞれに別個の色が使われています。

``*slime-repl*`` バッファでは slime-mode キーバーインディングのほとんどが利用可 能です。さらに以下のコマンドが利用できます。

• Return - 現在行を Lisp に送り、評価します。もし行が完結していなければ(括弧の不整合等)、新しいインデントされた行を開始します。
• Control-Return - 対応する括弧を閉じてから Lisp に行を送って評価します。
• C-c C-c - SIGINT を用いて Lisp プロセスに割り込みます。通常、これは状態を通知し、SLIME デバッガに入ります。マルチスレッド化された Lisp 処理系ではシグナル通知のあいまいさによりこの動作は確実ではありません。
• TAB - ポイント位置の Lisp シンボルを補完します。

SLIME は独自の Emacs に統合されたデバッガを備えています．Lisp は常に Emacs へのリクエストを評価しており，``*DEBUGGER-HOOK*`` はエラー時に使 用されるデバッガにバインドされています．デバッガが起動されると Emacs バッ ファに利用可能なリスタートやバックトレースの一部が表示されたエラー画面 がポップアップされます．スクリーンショットの右上の上部がデバッガです．

最初はバックトレースの一行だけが表示されています．より多くのフレームを 表示するにはカーソルを下に移動してバッファの最後の –more– の行に合わ せるだけです．

デバッガはリスタートされるまでアクティブなままです．デバッガ内では通常の SLIME コマンドが利用可能で，それらのコマンドのエラーは再帰的にデバッガを呼ぶ 事になります．

リスタートのためのコマンド:

• 0 .. 9 - 数字によるリスタート
• q - トップレベルへ抜ける
• a - ABORT
• c - CONTINUE

カーソルで指定されたフレームを操作するコマンド:

• v - カレントフレームの式をバッファ内で表示
• t - 冗長なフレーム表示の切り替え．冗長な表示は全てのローカルな変数と CATCH タグを含みます．
• l - ローカルな変数を表示します
• e - フレーム内で式を評価します
• d - 式を評価して結果をバッファに表示します
• i - 式を評価して結果をインスペクトします
• : - 式をグローバル環境で評価します
• D - カレントフレームのコードをディスアセンブルします
• r - 呼ばれた時と同じ引数でフレームの実行を再開します（一部の処理系ではサポートされていません）
• R - カレントフレームの値を返します（一部の処理系ではサポートされていません）

フレーム間の移動:

• n - 次のフレームに移動します
• p - 前のフレームに移動します
• M-n - Detail-move で次のフレームに移動します．これは現在行を一行サマリに切り替え，移動先のフレームを冗長表示に切り替え（t），式を表示（v）します．
• M-p - Detail-move で前のフレームに移動します．

多くの Lisp は関数のソースコードの位置を記録しています．SLIME はこの情 報を使って特定のシンボルの定義を見つけます．ユーザーはこの機能のために 独立した "タグテーブル" を維持する必要がありません．

``M-.`` ポイント位置のシンボル定義にジャンプ

``M-,`` ジャンプした関数定義から戻る

SLIME は関数定義にジャンプする前に現在位置をスタックにプッシュします． M-, はこのスタックのトップエレメントをポップし，保存されいていた位置に ジャンプします．

お使いの Lisp 処理系のソースコードをインストールする事をお勧めします． ソースを読む事で多くのトリックを学ぶ事ができるからです．CMUCL の場合， 次のようにどこにソースコードをインストールしたのかを .cmucl-init.lisp で設定する必要があります．

(setf (search-list "target:") '("/opt/cmucl/src/"))

SBCL ならば次のように対応する論理パスの定義を行なうと良いでしょう．

(setf (logical-pathname-translations "SYS")

    '(("SYS:SRC;**;*.*.*" #P"/opt/sbcl/src/**/*.*")
      ("SYS:CONTRIB;**;*.*.*" #P"/opt/sbcl/contrib/**/*.*")))

SLIME は ILISP と同様に Erick Naggum 氏の作成した Common Lisp HyperSpec アク セスのためのパッケージを備えています．それはオンラインバージョンの HyperSpec を使うようになっていますが，もし何らかの理由で HyperSpec をローカルにダウン ロードして使いたい場合には .emacs で ``(setq common-lisp-hyperspec-root "file:/usr/local/lisp/CLHS6/HyperSpec/")`` のように HyperSpec へのパスを設定してください．

Emacs に組込む web ブラウザは好みがあるので，もし他のブラウザを使いたければ emacs のカスタマイズ設定で "Browse Url Browser Function" から好きなブラウザ を指定してください．

SLIME はファイル，定義，バッファ，リージョン，システム（訳注：おそらく defsystem で定義されるやつ）をコンパイルするためのコマンドを備えています．ファ イルをコンパイルするとシステムはコンパイルされたコードを fasl ファイルとして ディスクに保存します．定義やバッファやリージョンをコンパイルするとコードはメ モリ上に記憶され，ファイルには書き出されません．

``C-c C-c`` 現在のトップレベルフォームをコンパイル

``M-x slime-compile-region`` リージョンをコンパイル

``C-c C-k`` カレントバッファのファイルをコンパイルし，ロードする（コンパイルが成功した場合だけロードされる）

``C-c M-k`` カレントバッファのファイルをコンパイルする（ロードしない）

``C-c C-l`` バッファのファイルをロードする

``M-x slime-load-sysmtem`` 入力されたシステムの変更されたファイルをコンパイルしてロードする

SLIME はコンパイラによって生成された警告を集め，ソース上の適切な位置を見つけ たりコンパイラのメッセージを表示するコマンドを提供します．SLIME は警告に対応 するソースコードにカーソルが重なると表示される注釈を付けます．カーソルに対応 するメッセージはミニバッファ上に表示されます．

``M-n`` 次のコンパイラの警告位置に移動し，警告を表示します

``M-p`` 前のコンパイラの警告位置に移動し，警告を表示します

``M-x slime-list-compiler-notes`` 別のバッファに全てのコンパイラの警告を表示します． 警告をクリックもしくは RET キーで対応するソースコードをハイライトします

評価コマンドはプログラムの小さな部分をテストするのに便利です．

.. いちいち REPL に打ち込まなくていいので．

``C-c :`` ミニバッファで式を一つ読み込んで評価し，その値をエコー領域に表示します (slime-interactive-eval)

``C-x C-e`` ポイント位置の前にある式を評価し，値をエコー領域に表示します (slime-eval-last-sexp')

``C-M-x`` ポイント位置の後もしくはポイント位置を含むトップレベルフォームを評価し， 値エコー領域に表示します (slime-eval-defun)

``C-x C-p`` ポイント位置の前にある式を評価し，新しい表示バッファに値を pretty-print します (slime-pprint-eval-last-expression)

``M-x slime-eval-region`` リージョン内の全ての式を評価します

``M-x slime-eval-buffer`` バッファ内の全ての式を評価します

``C-x M-e`` ポイント位置の前にある式を評価し，値をエコー領域と出力バッファに表示します (slime-eval-last-expression-display-output).

``C-c C-u`` ポイント位置のシンボルへの関数定義を取り除きます (slime-undefine-function).

``C-c :`` はインタラクティブに式を評価するためのもっとも基本的なコマンドです． Emacs はミニバッファから文字列として式を読み込み，それを slime-buffer-package の値とともに Lisp に送ります．Lisp は文字列もパッケージ 内で read し，フォームを評価して文字列として結果を Emacs に返し，Emacs はエ コー領域に結果を表示します．

slime-buffer-package はバッファローカルな変数で，もっとも近い in-package フォームから見つけた名前を含みます．もしバッファに in-package フォームが無ければカレントパッケージ（ ``*package*`` ）の値を使用 します．

C-x C-e や C-M-x コマンドは C-c : に似ていますが，ミニバッファから式を読みません．C-x C-e はポイントの前にある S 式を，C-M-x はポイントの後もしくはポイントを含むトップレベルフォームを使用します．トップレベルフォームは最初のカラムが開き括弧から始まる S 式です．

Defvar Hack: ``C-M-x`` は defvar から始まるフォームを特別扱いします． もし既にその変数が存在しているなら，変数がリセットされます．したがって C-M-x は defvar を defparameter にします．C-x C-e はこのような defvar の特別扱いをしません．

Tip: slime-complete-symbol はポイントの周辺のシンボルを補完に使用す る事ができます．それは Lisp バッファでは M-TAB に，ミニバッファでは TAB にバインドされています．

ここでは C-h m (describe-mode) で示される slime-mode のキーバインドの要 約を示します．これらのコマンドのサブセットは ``*slime-repl*`` バッファ でも利用可能です．

SLIME: The Superior Lisp Interaction Mode for Emacs (minor-mode).

カレントバッファのソースファイルをコンパイルしコンパイラの注意や警告をハイライトするには::

C-c C-k - カレントバッファのファイルをコンパイルしてロードする
C-c M-k - カレントバッファのファイルをコンパイルする
C-c C-c - ポイント位置のトップレベルフォームをコンパイルする

コンパイラの注意を巡回するには::

M-n - 次の注意へ移動
M-p - 前の注意へ移動
C-c M-c - バッファ内の compiler-note を削除

定義を見つけるには::

M-. - ポイント位置の関数定義を編集する
M-, - 関数定義の編集から戻る

プログラミング支援::

C-c TAB - ポイント位置の Lisp シンボルの補完( M-TAB と同じ)
C-c RET - Macroexpand once.
C-c M-m - Macroexpand all.

クロスリファレンス(CMUCL のマニュアルを参照)::

C-c C-w c - WHO-CALLS a function.
C-c C-w r - WHO-REFERENCES a global variable.
C-c C-w s - WHO-SETS a global variable.
C-c C-w b - WHO-BINDS a global variable.
C-c C-w m - WHO-MACROEXPANDS a macro.
C-M-. - Goto the next reference source location. (Also C-c C-SPC)

ドキュメント関連コマンド::

C-c C-d - シンボルを Describe
C-c C-a - Apropos 検索
C-c M-d - 関数のディスアセンブル

評価コマンド::

C-M-x - ポイントを含むトップレベルフォームを評価
C-x C-e - ポイントの前の S 式を評価
C-c C-p - ポイントの前の S 式を評価し，結果を pretty-print する