Ticket #1762 (closed bug: fixed)

Opened 6 years ago

Last modified 5 years ago

wrong result of isProperSubsetOf

Reported by: guest Owned by: igloo
Priority: normal Milestone: 6.8.2
Component: libraries (other) Version: 6.4.1
Keywords: IntSet Cc: ghc@…
Operating System: Linux Architecture: x86
Type of failure: Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

IntSet.isProperSubsetOf (IntSet.fromList [2,3]) (IntSet.fromList [1,2,3]) is evaluated to False, but should be True.

Attachments

1762.txt Download (3.5 KB) - added by dbenbenn 6 years ago.

Change History

Changed 6 years ago by igloo

  • component changed from libraries/base to libraries (other)
  • milestone set to 6.8.2

Good spot, thanks!

Changed 6 years ago by dbenbenn

  • owner set to igloo

Attached 1762.txt, a patch bundle that fixes the bug, and adds a handful of QuickCheck? tests and some comments.

Changed 6 years ago by dbenbenn

Changed 5 years ago by igloo

  • status changed from new to closed
  • resolution set to fixed

Thanks for the patches; applied to HEAD and 6.8 branch.

Note: See TracTickets for help on using tickets.