类型数组在julia 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

我觉得上面的代码与中使用的代码类似。我使用的版本是0.0.0。我在网上搜索过，但找不到任何有用的信息。有谁能给我一些建议，看看我做错了什么

更新：

---

显然，这是中的一个错误，该错误现已修复。

您应该在QuickCheck存储库中提交一份错误报告。@Isaiah：完成，感谢您查看我的代码。肯定是个错误。谢谢！这个问题实际上是上述库中的一个bug。这一点在问题开始时还不清楚。现在这是清楚的，这个问题应该结束了。对于未来的访问者，应该注意的是，这个错误现在已经被修复。

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