Teo Camarasu pushed to branch wip/T26848 at Glasgow Haskell Compiler / GHC

Commits:

7 changed files:

Changes:

  • libraries/base/src/Data/Ix.hs
    1 
    -{-# LANGUAGE Safe #-}
    1 
    +{-# LANGUAGE Trustworthy #-}
    2 2
    3 3 
     -- |
    4 4 
     --
    ... ... @@ -42,4 +42,4 @@ module Data.Ix
    42 42 
          -- <https://www.haskell.org/onlinereport/haskell2010/haskellch19.html>.
    43 43 
          ) where
    44 44
    45 
    -import GHC.Internal.Data.Ix
    45 
    +import GHC.Internal.Ix

  • libraries/ghc-internal/ghc-internal.cabal.in
    ... ... @@ -153,7 +153,6 @@ Library
    153 153 
             GHC.Internal.Data.Functor.Identity
    154 154 
             GHC.Internal.Data.Functor.Utils
    155 155 
             GHC.Internal.Data.IORef
    156 
    -        GHC.Internal.Data.Ix
    157 156 
             GHC.Internal.Data.List
    158 157 
             GHC.Internal.Data.List.NonEmpty
    159 158 
             GHC.Internal.Data.Maybe

  • libraries/ghc-internal/src/GHC/Internal/Data/Ix.hs deleted
    1 
    -{-# LANGUAGE Trustworthy #-}
    2 
    -
    3 
    ------------------------------------------------------------------------------
    4 
    --- |
    5 
    --- Module      :  GHC.Internal.Data.Ix
    6 
    --- Copyright   :  (c) The University of Glasgow 2001
    7 
    --- License     :  BSD-style (see the file libraries/base/LICENSE)
    8 
    ---
    9 
    --- Maintainer  :  libraries@haskell.org
    10 
    --- Stability   :  stable
    11 
    --- Portability :  portable
    12 
    ---
    13 
    --- The 'Ix' class is used to map a contiguous subrange of values in
    14 
    --- type onto integers.  It is used primarily for array indexing
    15 
    --- (see the array package).  'Ix' uses row-major order.
    16 
    ---
    17 
    ------------------------------------------------------------------------------
    18 
    -
    19 
    -module GHC.Internal.Data.Ix
    20 
    -    (
    21 
    -    -- * The 'Ix' class
    22 
    -        Ix
    23 
    -          ( range
    24 
    -          , index
    25 
    -          , inRange
    26 
    -          , rangeSize
    27 
    -          )
    28 
    -    -- Ix instances:
    29 
    -    --
    30 
    -    --  Ix Char
    31 
    -    --  Ix Int
    32 
    -    --  Ix Integer
    33 
    -    --  Ix Bool
    34 
    -    --  Ix Ordering
    35 
    -    --  Ix ()
    36 
    -    --  (Ix a, Ix b) => Ix (a, b)
    37 
    -    --  ...
    38 
    -
    39 
    -    -- * Deriving Instances of 'Ix'
    40 
    -    -- | Derived instance declarations for the class 'Ix' are only possible
    41 
    -    -- for enumerations (i.e. datatypes having only nullary constructors)
    42 
    -    -- and single-constructor datatypes, including arbitrarily large tuples,
    43 
    -    -- whose constituent types are instances of 'Ix'.
    44 
    -    --
    45 
    -    -- * For an enumeration, the nullary constructors are assumed to be
    46 
    -    -- numbered left-to-right with the indices being 0 to n-1 inclusive. This
    47 
    -    -- is the same numbering defined by the 'Enum' class. For example, given
    48 
    -    -- the datatype:
    49 
    -    --
    50 
    -    -- >        data Colour = Red | Orange | Yellow | Green | Blue | Indigo | Violet
    51 
    -    --
    52 
    -    -- we would have:
    53 
    -    --
    54 
    -    -- >        range   (Yellow,Blue)        ==  [Yellow,Green,Blue]
    55 
    -    -- >        index   (Yellow,Blue) Green  ==  1
    56 
    -    -- >        inRange (Yellow,Blue) Red    ==  False
    57 
    -    --
    58 
    -    -- * For single-constructor datatypes, the derived instance declarations
    59 
    -    -- are as shown for tuples in chapter 19, section 2 of the Haskell 2010 report:
    60 
    -    -- <https://www.haskell.org/onlinereport/haskell2010/haskellch19.html>.
    61 
    -
    62 
    -    ) where
    63 
    -
    64 
    -import GHC.Internal.Ix

  • testsuite/tests/interface-stability/base-exports.stdout
    ... ... @@ -1286,7 +1286,7 @@ module Data.Int where
    1286 1286 
       data Int8 = ...
    1287 1287
    1288 1288 
     module Data.Ix where
    1289 
    -  -- Safety: Safe
    1289 
    +  -- Safety: Trustworthy
    1290 1290 
       type Ix :: * -> Constraint
    1291 1291 
       class GHC.Internal.Classes.Ord a => Ix a where
    1292 1292 
         range :: (a, a) -> [a]

  • testsuite/tests/interface-stability/base-exports.stdout-javascript-unknown-ghcjs
    ... ... @@ -1286,7 +1286,7 @@ module Data.Int where
    1286 1286 
       data Int8 = ...
    1287 1287
    1288 1288 
     module Data.Ix where
    1289 
    -  -- Safety: Safe
    1289 
    +  -- Safety: Trustworthy
    1290 1290 
       type Ix :: * -> Constraint
    1291 1291 
       class GHC.Internal.Classes.Ord a => Ix a where
    1292 1292 
         range :: (a, a) -> [a]

  • testsuite/tests/interface-stability/base-exports.stdout-mingw32
    ... ... @@ -1286,7 +1286,7 @@ module Data.Int where
    1286 1286 
       data Int8 = ...
    1287 1287
    1288 1288 
     module Data.Ix where
    1289 
    -  -- Safety: Safe
    1289 
    +  -- Safety: Trustworthy
    1290 1290 
       type Ix :: * -> Constraint
    1291 1291 
       class GHC.Internal.Classes.Ord a => Ix a where
    1292 1292 
         range :: (a, a) -> [a]

  • testsuite/tests/interface-stability/base-exports.stdout-ws-32
    ... ... @@ -1286,7 +1286,7 @@ module Data.Int where
    1286 1286 
       data Int8 = ...
    1287 1287
    1288 1288 
     module Data.Ix where
    1289 
    -  -- Safety: Safe
    1289 
    +  -- Safety: Trustworthy
    1290 1290 
       type Ix :: * -> Constraint
    1291 1291 
       class GHC.Internal.Classes.Ord a => Ix a where
    1292 1292 
         range :: (a, a) -> [a]

    • —
    View it on GitLab.
    You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications · Help