我正在尝试使用SQL Server运行Vagrant框以进行本地开发.我正在运行Fedora 23.有问题的方法就是这个.
vagrant up 失败,出现以下错误消息:
/usr/share/vagrant/plugins/communicators/winrm/shell.rb:9:in `require':
cannot load such file -- winrm (LoadError)
我试图安装winrm使用gem install winrm,并将其安装就好了,但流浪者仍然失败.
以下ruby脚本运行时没有错误:
require "winrm"
puts "hello world"
有谁知道如何解决这一问题？
我正在阅读使用Idris的类型驱动开发,其中一个练习要求读者定义一个类型TupleVect,这样一个向量可以表示为:
TupleVect 2 ty = (ty, (ty, ()))
我通过定义以下类型解决了它:
TupleVect : Nat -> Type -> Type
TupleVect Z ty = ()
TupleVect (S k) ty = (ty, TupleVect k ty)
以下测试类型检查:
test : TupleVect 4 Nat
test = (1,2,3,4,())
我的问题是,为什么(1,2,3,4,()) == (1,(2,(3,(4,()))))？我原以为右手边是一个2元组,由一个Int和另一个元组组成.
我正在node.js程序中测试一个函数,它应该将一些数据保存到mongo数据库中.我正在使用摩卡,柴和应该.
在模式中,我已将数据定义为保存为
data: [{type: Number, min: 0}]
测试将数组保存[1,2,3,4,5,6]到数据库,然后再将find其保存,并将找到的内容与保存的数组进行比较.测试是
result.data.should.eql([1,2,3,4,5,6]);
测试结果是
Uncaught AssertionError: expected [1,2,3,4,5,6]
to deeply equal [ 1, 2, 3, 4, 5, 6 ]
根据这个chai.js示例,以这种方式比较数组应该可以正常工作.
当我测试结果时result.data.should.deep.include.members([1,2,3,4,5,6]);,测试通过预期.
任何人都可以向我解释为什么这不起作用？