You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fix for indexInt8OffAddr# returning sized type in next GHC
Here's how we fix this without CPP:
In old GHC:
I8# :: Int# -> Int8
indexInt8OffAddr# :: Addr# -> Int# -> Int#
In upcoming GHC 9.2:
I8# :: Int8# -> Int8
indexInt8OffAddr# :: Addr# -> Int# -> Int8#
So the "GLB" interface is:
exists alpha.
I8# :: alpha -> Int8
indexInt8OffAddr# :: Addr# -> Int# -> alpha
We we write a program against that, eliminating the black-box `alpha`
with `I8#` and then converting to `Int`.
0 commit comments