涂鸦:如何删除 "WARNING no declared exporting libraries"

scribble: how to remove "WARNING no declared exporting libraries"

我正在尝试使用 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进行格式化,并去掉错误信息吗?

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

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

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