Define proper `MINIMAL` pragma for `class Ix`
authorHerbert Valerio Riedel <hvr@gnu.org>
Sat, 7 Mar 2015 22:15:07 +0000 (23:15 +0100)
committerHerbert Valerio Riedel <hvr@gnu.org>
Sat, 7 Mar 2015 22:15:07 +0000 (23:15 +0100)
Summary: This addresses #10142

Reviewers: goldfire, austin, ekmett

Reviewed By: austin, ekmett

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D709

GHC Trac Issues: #10142

libraries/base/GHC/Arr.hs
libraries/base/changelog.md

index ee666eb..6b3a923 100644 (file)
@@ -71,9 +71,9 @@ default ()
 --
 -- * @'rangeSize' (l,u) == 'length' ('range' (l,u))@ @ @
 --
 --
 -- * @'rangeSize' (l,u) == 'length' ('range' (l,u))@ @ @
 --
--- Minimal complete instance: 'range', 'index' and 'inRange'.
---
 class (Ord a) => Ix a where
 class (Ord a) => Ix a where
+    {-# MINIMAL range, (index | unsafeIndex), inRange #-}
+
     -- | The list of values in the subrange defined by a bounding pair.
     range               :: (a,a) -> [a]
     -- | The position of a subscript in the subrange.
     -- | The list of values in the subrange defined by a bounding pair.
     range               :: (a,a) -> [a]
     -- | The position of a subscript in the subrange.
index 5635918..670fa11 100644 (file)
   * Add/expose `rnfTypeRep`, `rnfTyCon`, `TypeRepHash`, and
     `TyConHash` helpers to `Data.Typeable`.
 
   * Add/expose `rnfTypeRep`, `rnfTyCon`, `TypeRepHash`, and
     `TyConHash` helpers to `Data.Typeable`.
 
+  * Define proper `MINIMAL` pragma for `class Ix`. (#10142)
+
 ## 4.7.0.2  *Dec 2014*
 
   * Bundled with GHC 7.8.4
 ## 4.7.0.2  *Dec 2014*
 
   * Bundled with GHC 7.8.4