我第一次尝试使用Julia programming language,特别是我正在尝试使用QuickCheck包编写一个简单的示例。这是代码:
module QuickCheckTest
using QuickCheck
function factorial(n)
if n < 0
error("factorial undefined for negative numbers")
end
if 0 <= n <= 2
n
else
n*factorial(n-1)
end
end
property((n::Int)->factorial(n)/n == factorial(n-1))
end
当我在Windows 7机器上使用Julia 0.2.0运行时,我收到以下错误:
ERROR: type Array has no field args
in lambda_arg_types at C:\Users\Bas\Documents\Dropbox\.julia\QuickCheck\src\Qui
ckCheck.jl:16
in property at C:\Users\Bas\Documents\Dropbox\.julia\QuickCheck\src\QuickCheck.
jl:26
in include at boot.jl:238
in include_from_node1 at loading.jl:114
WARNING: backtraces on your platform are often misleading or partially incorrect
我觉得上面的代码类似于QuickCheck documentation中使用的代码。我使用的QuickCheck版本是0.0.0。我搜索过互联网,但找不到任何有用的信息。任何人都可以给我任何关于我在这里做错的建议吗?
显然这是QuickCheck中的一个错误,此错误现已修复。