Racket 使用R6RS中的模块时预期会违反合同

Racket 使用R6RS中的模块时预期会违反合同,racket,r6rs,Racket,R6rs,我在abc/main.rkt中有以下模块: #lang racket (provide (all-defined-out)) (define (abc) 10) 下面是一个简短的R6RS程序,用于导入该模块: #!r6rs (import (rnrs) (abc)) (display (abc)) (newline) 加载该程序时,此错误消息出现在DrRacket窗口的底部: +:预期违反合同:数量?给定:#f参数位置:第一个其他参数…:0 但是,我能够成功地运行该程序 有没有关于如

我在abc/main.rkt中有以下模块:

#lang racket

(provide (all-defined-out))

(define (abc) 10)
下面是一个简短的R6RS程序,用于导入该模块:

#!r6rs

(import (rnrs) (abc))

(display (abc))
(newline)
加载该程序时,此错误消息出现在DrRacket窗口的底部:

+:预期违反合同:数量?给定:#f参数位置:第一个其他参数…:0

但是,我能够成功地运行该程序


有没有关于如何消除错误的建议?

这对我来说很好。你能提供更多关于你的设置的细节吗?什么版本的Racket?您好@Asumutakakawa,我正在Windows 7 64位上使用5.3.4 64位。是否涉及任何其他文件?我在Windows 7 64位上运行了该程序,但没有收到错误。无法用任何Racket 5重现错误*