racket - scribble：如何删除“警告没有声明的导出库”

Question

我正在尝试使用defproc格式化函数定义（而不是记录库）。下面的代码格式正确，但在我运行 Scribble 时会向控制台打印一个丑陋的警告：

#lang scribble/manual
@require[(for-label racket/contract)]

@defproc[(f [x integer?]) integer?]{
  The best @racket[f].
}

运行scribble --html example.scrbl打印：

example.scrbl:4:10: WARNING: no declared exporting libraries for definition
  in: f

有什么方法可以defproc用于格式化并删除错误消息？

Answer 1

是的。添加可选参数#:link-target? #f以传达您的目标。

#lang scribble/manual
@require[(for-label racket/contract)]

@defproc[#:link-target? #f
         (f [x integer?]) integer?]{
  The best @racket[f].
}