diff options
| author | Chaitanya Koparkar <ckoparkar@gmail.com> | 2018-03-02 16:12:56 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-03-02 16:13:07 -0500 |
| commit | 5c28ee88dd66617b0fd5dbe0d90142ce983a547e (patch) | |
| tree | 8322c8ec668e4a3db7eeafe6ac11f113ea570094 /libraries/base/GHC/Natural.hs | |
| parent | 6a7e159ce25b432824f8757e0c768f2b2e2754df (diff) | |
| download | haskell-5c28ee88dd66617b0fd5dbe0d90142ce983a547e.tar.gz | |
Add @since annotations for derived instances in base
Test Plan: ./validate
Reviewers: hvr, goldfire, bgamari, RyanGlScott
Reviewed By: RyanGlScott
Subscribers: rwbarton, thomie, carter
GHC Trac Issues: #11767
Differential Revision: https://phabricator.haskell.org/D4452
Diffstat (limited to 'libraries/base/GHC/Natural.hs')
| -rw-r--r-- | libraries/base/GHC/Natural.hs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/libraries/base/GHC/Natural.hs b/libraries/base/GHC/Natural.hs index 7e6d0a1026..32cf2d2579 100644 --- a/libraries/base/GHC/Natural.hs +++ b/libraries/base/GHC/Natural.hs @@ -101,8 +101,12 @@ data Natural = NatS# GmpLimb# -- ^ in @[0, maxBound::Word]@ -- __Invariant__: 'NatJ#' is used -- /iff/ value doesn't fit in -- 'NatS#' constructor. - deriving (Eq,Ord) -- NB: Order of constructors *must* + -- NB: Order of constructors *must* -- coincide with 'Ord' relation + deriving ( Eq -- ^ @since 4.8.0.0 + , Ord -- ^ @since 4.8.0.0 + ) + -- | Test whether all internal invariants are satisfied by 'Natural' value -- |