test (#t): expects #t => got () test (3): expects 3 => got () test (4): expects 4 => got () test ((if #f #f #t)): expects #t => got () test (((lambda (a) 3) 4)): expects 3 => got () test (((lambda (a) (if 3 7 5)) 6)): expects 7 => got () …

display 実装の前に不明瞭な点を1つずつ解決しよう。 1. free variables の探索 (lambda (y) y outer1 (let1 z 1 y outer2 z)) lambda のコンパイル時の free variables は outer1 と outer 2。let1の中も探さないといけない。 let のコンパイル時の free va…