We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5899e2c commit 981e31eCopy full SHA for 981e31e
src/CilkSort.hs
@@ -90,7 +90,7 @@ cilkSort' anyVal src =
90
!src'' = A.allocScratch len anyVal cilkSortInplace src' in
91
src''
92
93
--- finally, the top-level merge sort function
+-- finally, the top-level cilksort function
94
{-@ cilkSort :: { xs:(A.Array a) | left xs == 0 && right xs == size xs }
95
-> { ys:_ | toBag xs == toBag ys && isSorted' ys &&
96
A.size xs == A.size ys && token xs == token ys } @-}
0 commit comments