Opened 7 years ago

Closed 7 years ago

Last modified 5 years ago

#7077 closed feature request (fixed)

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 report-impact Cc: hvr, ekmett
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


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 (1)

0001-Addition-of-an-order-reversing-newtype.patch (637 bytes) - added by Azel 7 years ago.
Patch implementing this re-export

Download all attachments as: .zip

Change History (4)

Changed 7 years ago by Azel

Patch implementing this re-export

comment:1 Changed 7 years ago by simonpj

difficulty: Unknown
Owner: set to pcapriotti

comment:2 Changed 7 years ago by pcapriotti

Milestone: 7.6.1
Resolution: fixed
Status: newclosed

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 <>
Date:   Tue Jul 17 16:37:54 2012 +0100

    Move Down to Data.Ord (#7077)

comment:3 Changed 5 years ago by hvr

Cc: hvr ekmett added
Keywords: report-impact added
Note: See TracTickets for help on using tickets.