Racket自定义库导出struct构造函数后引入报未定义标识符问题

本地通过raco pkg install安装Racket包时，默认的复制安装模式不会与本地仓库源码建立实时同步关联：安装阶段Racket会将包目录下的文件全量复制到全局用户包存储路径，后续你在仓库内修改的新增导出绑定，根本不会被require racklog语句加载到——你加载的始终是安装完成时被复制的旧版本包文件，旧文件中不存在你新增的my-struct、自定义函数、变量等绑定，因此触发标识符未找到的报错。旧版本中原有的导出功能因为被完整复制，所以可以保持正常工作。

• 定位当前实际加载的包路径：在Racket交互环境执行(pkg-directory "racklog")，确认当前require racklog指向的文件位置
• 移除旧的非实时安装的包版本：在本地仓库根目录执行raco pkg remove racklog，清除全局路径下缓存的旧包文件
• 以开发链接模式重新安装包：在仓库根目录执行raco pkg install --link，这种安装模式下Racket不会复制文件，直接将包的全局入口路径指向你本地的仓库目录，后续你修改源码保存后，新增的绑定可以被即时加载，无需重复执行安装操作
• 校验导出链路完整性：
  • 检查main.rkt中引入racklog.rkt的相对路径，确认路径是基于main.rkt所在目录的正确相对路径，避免因为路径解析错误导致无法正确加载子模块的绑定
  • 检查racklog.rkt内的provide语句，确认需要对外暴露的绑定都被纳入导出范围：struct类型如果需要对外提供访问器、判断谓词能力，需要单独将这些绑定加入provide列表，例如(provide my-struct my-struct? my-struct-value)
  • 检查包目录下的info.rkt配置，确认包的入口模块配置正确，require racklog能够正确加载到你编写的main.rkt入口文件，而非其他历史缓存的模块
• 修复完成后验证：重新在测试文件中引入racklog模块，检查新增的struct构造函数、自定义变量、函数是否可以被正常解析调用

非必要不要在每次修改源码后重复执行普通模式的raco pkg install：这种操作会持续把你的文件复制到全局包路径，不仅效率低，还容易因为文件时间戳更新不及时，导致Racket的模块缓存加载了旧版本的编译产物，触发更难排查的绑定未定义问题。使用--link开发模式是本地开发自研Racket包的标准操作，可以完全避免这类缓存同步问题。 #

内容的提问来源于stack exchange，提问作者MLavrentyev