Skip to content
Snippets Groups Projects
Forked from Glasgow Haskell Compiler / Packages / array
Source project has a limited visibility.
  • John Ericson's avatar
    3e4334a6
    Revert "[Cmm Sized] Adjust" · 3e4334a6
    John Ericson authored
    In old GHC:
    
        I8# :: Int# -> Int8
        indexInt8OffAddr# :: Addr# -> Int# -> Int#
        ...
    
    In upcoming GHC 9.2:
    
        I8# :: Int8# -> Int8
        indexInt8OffAddr# :: Addr# -> Int# -> Int8#
        ...
    
    Both of those work with the last array release, where the only
    requirement is merely that the constructor and primops agree, i.e.:
    
        exists alpha.
        I8# :: alpha -> Int8
        indexInt8OffAddr# :: Addr# -> Int# -> alpha
    
    In current GHC HEAD, we had
    
        I8# :: Int8# -> Int8
        indexInt8OffAddr# :: Addr# -> Int# -> Int#
    
    and it was only because `Int8# /= Int#` that we needed the commit being
    reverted. we are about to fix the primops to match the constructors in
    accordance with the final 9.2 design, and so we don't need that commit
    anymore.
    
    This reverts commit c7a696e3.
    3e4334a6
    History
    Revert "[Cmm Sized] Adjust"
    John Ericson authored
    In old GHC:
    
        I8# :: Int# -> Int8
        indexInt8OffAddr# :: Addr# -> Int# -> Int#
        ...
    
    In upcoming GHC 9.2:
    
        I8# :: Int8# -> Int8
        indexInt8OffAddr# :: Addr# -> Int# -> Int8#
        ...
    
    Both of those work with the last array release, where the only
    requirement is merely that the constructor and primops agree, i.e.:
    
        exists alpha.
        I8# :: alpha -> Int8
        indexInt8OffAddr# :: Addr# -> Int# -> alpha
    
    In current GHC HEAD, we had
    
        I8# :: Int8# -> Int8
        indexInt8OffAddr# :: Addr# -> Int# -> Int#
    
    and it was only because `Int8# /= Int#` that we needed the commit being
    reverted. we are about to fix the primops to match the constructors in
    accordance with the final 9.2 design, and so we don't need that commit
    anymore.
    
    This reverts commit c7a696e3.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.