gpt4 book ai didi

racket - 乱写乱画:如何删除 "WARNING no declared exporting libraries"

转载 作者:行者123 更新时间:2023-12-01 23:37:39 25 4
gpt4 key购买 nike

我正在尝试使用 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].
}

关于racket - 乱写乱画:如何删除 "WARNING no declared exporting libraries",我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/40183496/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com