读取文件：语法错误（标识符后有多个表达式）

Question

(define bootstrap-c-code
    (define (from-file file-name)
       (let* ((ip (open-input-file file-name))
            (res (read-text-file-from-input-port ip)))
         (close-input-port ip)
         res))
    (from-file "llvm.c"))

错误：定义：语法错误（标识符后有多个表达式）

但我看不出它有什么问题。有人可以解释/修复它吗？

Answer 1

目前尚不清楚您使用上述代码的意图。如果您尝试加载文本文件并将加载的值保留在名为 bootstrap-c-code 的变量中，请尝试以下操作：

(define bootstrap-c-code
  (let ((from-file
         (lambda (file-name)
           (let* ((ip (open-input-file file-name))
                  (res (read-text-file-from-input-port ip)))
             (close-input-port ip)
             res))))
    (from-file "llvm.c")))

当然，from -file定义仅在let内部可见，如果需要在外部使用它，请在整个表达式之外define它。如果您只需要 let 中的 from-file 功能，则可以通过更简单的方式获得相同的结果：

(define bootstrap-c-code
  (let* ((ip  (open-input-file "llvm.c"))
         (res (read-text-file-from-input-port ip)))
    (close-input-port ip)
    res))

另一方面，如果您的意图是创建一个名为 bootstrap-c-code 的过程，那么正确的语法是：

(define (bootstrap-c-code)
  (define (from-file file-name)
    (let* ((ip (open-input-file file-name))
           (res (read-text-file-from-input-port ip)))
      (close-input-port ip)
      res))
  (from-file "llvm.c"))

Answer 2

根据R5RS，内部定义只能出现在开头一堆形式的组成，如 let、let*、lambda 等。就您的代码而言，情况并非如此，因为您在非过程定义中有一个内部定义。您可以通过将“bootstrap-c-code”绑定到过程来修复它。