История изменений
Исправление
stevejobs,
(текущая версия)
:
вот, обманул, так всё работает:
def l(lst: List[Any]) = lst
property("test7_meld_sort") = forAll { (heapPair: (H, H)) =>
(heapPair._1 ++ heapPair._2).sorted == l(meld(heapPair._1, heapPair._2))
}
теперь как бы это сделать красиво, чтобы «никто ничего не заметил»?
Исходная версия
stevejobs,
:
вот, обманул:
def l(lst: List[Any]) = lst
property("test7_meld_sort") = forAll { (heapPair: (H, H)) =>
(heapPair._1 ++ heapPair._2).sorted == l(meld(heapPair._1, heapPair._2))
}
теперь как бы это сделать красиво, чтобы «никто ничего не заметил»?