涂鸦:如何删除“警告没有声明的导出库”

Ben*_*man 5 racket scribble

我正在尝试用于defproc格式化函数定义(而不是记录库)。下面的代码获得了正确的格式,但是当我运行 Scribble 时会向控制台打印一个丑陋的警告:

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

@defproc[(f [x integer?]) integer?]{
  The best @racket[f].
}
Run Code Online (Sandbox Code Playgroud)

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

example.scrbl:4:10: WARNING: no declared exporting libraries for definition
  in: f
Run Code Online (Sandbox Code Playgroud)

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

Ben*_*man 4

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

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

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