Define proper MINIMAL pragma for class Ix

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
sarvex · Mar 7, 2015 · 7a2d65a · 7a2d65a
1 parent 47b5b5c
commit 7a2d65a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/libraries/base/GHC/Arr.hs b/libraries/base/GHC/Arr.hs
@@ -71,9 +71,9 @@ default ()
 --
 -- * @'rangeSize' (l,u) == 'length' ('range' (l,u))@ @ @
 --
--- Minimal complete instance: 'range', 'index' and 'inRange'.
---
 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.

diff --git a/libraries/base/changelog.md b/libraries/base/changelog.md
@@ -141,6 +141,8 @@
   * 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