Ticket #7077 (closed feature request: fixed)

Opened 11 months ago

Last modified 11 months ago

Add an order-reversing newtype to Data.Ord

Reported by: Azel Owned by: pcapriotti
Priority: normal Milestone: 7.6.1
Component: libraries/base Version:
Keywords: ord Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

This is proposal to add an order-reversing newtype to Data.Ord by adding GHC.Exts's one, Down.

You'll find attached a patch implementing this re-export and the conversation thread may be found  here.

Attachments

0001-Addition-of-an-order-reversing-newtype.patch Download (0.6 KB) - added by Azel 11 months ago.
Patch implementing this re-export

Change History

Changed 11 months ago by Azel

Patch implementing this re-export

Changed 11 months ago by simonpj

  • owner set to pcapriotti
  • difficulty set to Unknown

Changed 11 months ago by pcapriotti

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

Thanks for the patch. We decided to move the definition of Down to Data.Ord, since modules in base should not depend on GHC.Exts: 

commit 3054cf9a85619efb66a4923367532307477db619
Author: Paolo Capriotti <p.capriotti@gmail.com>
Date:   Tue Jul 17 16:37:54 2012 +0100

    Move Down to Data.Ord (#7077)
Note: See TracTickets for help on using tickets.