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