当我在Rails应用程序上运行一个rspec测试文件时,除了对has_many关联的测试之外,一切都通过了:it { should belong_to(:agent_field_set) } # OKshould have_many(:notes)行将引发ArgumentError: wrong number of arguments (0 for 1)。我检查了我的数据库和模型文件以验证has_many
如果我启用了MagicHash,那么我就有了未提升的值,比如类型为Int#的42#。 如果是Type is the kind of types with values,那么Int#的类型应该是Type,但不是因为Type是TYPE 'LiftedRep的同义词,而Int#的类型是TYPE 'IntRep。我们很容易在ghci中确认这一点, Prelude> :set -XMagicHash -XKindSignaturesPrelude Data.Kind GHC.Prim> :k (Int#