EoPL 読んでた記録の確認とその記録 (2)

若干標題が微妙な気がしますが当分これで続けてみます。
昨晩ですが、以前作成した lexical-address とその試験を手元に持ってきて動かしてみて、一応試験に成功するところまで確認しています。

つうかこれ

abstract syntax 使え、ってありますね。で、これ用の unparse で吐き出される、って理解で良いのかな。むむむ。とりあえず lexical-address な abstract syntax が以下か。

(define-datatype lexical-address lexical-address?
  (lit-exp
   (datum number?))
  (lex-info
   (id symbol?)
   (depth number?)
   (position number?))
  (free-info
   (id symbol?))
  (if-exp
   (test-exp expression?)
   (true-exp expression?)
   (false-exp expression?))
  (lambda-exp
   (id symbol?)
   (body expression?))
  (app-exp
   (rator expression?)
   (rand expression?)))

で、これを unparse に吸わせる、ってことだったのですが、とりあえず自分が作ったはずの lexical-address な実装が読めないorz
暫く悩んでいたのですが、やはり引数なリストが無いと駄目なのかな。

ということで

Ex.1.31 にリトライすることにしました。ログは別途で。