欢迎!请参阅关于页面以了解更多关于此的工作方式的信息。
In algo.monads
(with-monad blah some-code...)
导致所有some-code报告为位于with-monad形式的行。也许可以扩展所有内容并复制原形式中的元数据,至少在形式-at-point本身未扩展的情况下是这样?