类型数组在julia QuickCheck中没有简单属性的字段参数

时间:2014-02-05 09:21:41

标签: julia

我第一次尝试使用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中的一个错误,此错误现已修复。

0 个答案:

没有答案