Skip to content

Commit

Permalink
remove block comment to get rid of annoying warning from quickCheckAll
Browse files Browse the repository at this point in the history
  • Loading branch information
MaximilianAlgehed committed Apr 11, 2024
1 parent 1e7b8e6 commit 5111763
Showing 1 changed file with 10 additions and 13 deletions.
23 changes: 10 additions & 13 deletions examples/Heap.hs
Original file line number Diff line number Diff line change
Expand Up @@ -148,20 +148,17 @@ main = $quickCheckAll

--------------------------------------------------------------------------
-- the end.
{-
shrink Empty = []
shrink (Node x h1 h2) =
[ h1, h2 ]
++ [ Node x h1' h2 | h1' <- shrink h1, x <=? h1' ]
++ [ Node x h1 h2' | h2' <- shrink h2, x <=? h2' ]
++ [ Node x' h1 h2 | x' <- shrink x, x' <=? h1, x' <=? h2 ]
-}

-- shrink Empty = []
-- shrink (Node x h1 h2) =
-- [ h1, h2 ]
-- ++ [ Node x h1' h2 | h1' <- shrink h1, x <=? h1' ]
-- ++ [ Node x h1 h2' | h2' <- shrink h2, x <=? h2' ]
-- ++ [ Node x' h1 h2 | x' <- shrink x, x' <=? h1, x' <=? h2 ]

-- toSortedList (Node x h1 h2) = x : toSortedList (h1 `merge` h2)

{-
prop_HeapIsNotSorted (h :: Heap Int) =
expectFailure $
toList h == toSortedList h
-}
-- prop_HeapIsNotSorted (h :: Heap Int) =
-- expectFailure $
-- toList h == toSortedList h

0 comments on commit 5111763

Please sign in to comment.