diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2022-01-17 10:48:11 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-01-26 12:01:45 -0500 |
| commit | e471a6803842db93483526f2be58b61ea3c33dc7 (patch) | |
| tree | e07383ab88832f5ae806e4b04a8a734061b60dde /rts/RtsSymbols.c | |
| parent | 781323a3076781b5db50bdbeb8f64394add43836 (diff) | |
| download | haskell-e471a6803842db93483526f2be58b61ea3c33dc7.tar.gz | |
Levity-polymorphic arrays and mutable variables
This patch makes the following types levity-polymorphic in their
last argument:
- Array# a, SmallArray# a, Weak# b, StablePtr# a, StableName# a
- MutableArray# s a, SmallMutableArray# s a,
MutVar# s a, TVar# s a, MVar# s a, IOPort# s a
The corresponding primops are also made levity-polymorphic, e.g.
`newArray#`, `readArray#`, `writeMutVar#`, `writeIOPort#`, etc.
Additionally, exception handling functions such as `catch#`, `raise#`,
`maskAsyncExceptions#`,... are made levity/representation-polymorphic.
Now that Array# and MutableArray# also work with unlifted types,
we can simply re-define ArrayArray# and MutableArrayArray# in terms
of them. This means that ArrayArray# and MutableArrayArray# are no
longer primitive types, but simply unlifted newtypes around Array# and
MutableArrayArray#.
This completes the implementation of the Pointer Rep proposal
https://github.com/ghc-proposals/ghc-proposals/pull/203
Fixes #20911
-------------------------
Metric Increase:
T12545
-------------------------
-------------------------
Metric Decrease:
T12545
-------------------------
Diffstat (limited to 'rts/RtsSymbols.c')
| -rw-r--r-- | rts/RtsSymbols.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/rts/RtsSymbols.c b/rts/RtsSymbols.c index b6440049c0..b2c85b591c 100644 --- a/rts/RtsSymbols.c +++ b/rts/RtsSymbols.c @@ -730,13 +730,10 @@ extern char **environ; SymI_HasProto(stg_newArrayzh) \ SymI_HasProto(stg_copyArrayzh) \ SymI_HasProto(stg_copyMutableArrayzh) \ - SymI_HasProto(stg_copyArrayArrayzh) \ - SymI_HasProto(stg_copyMutableArrayArrayzh) \ SymI_HasProto(stg_cloneArrayzh) \ SymI_HasProto(stg_cloneMutableArrayzh) \ SymI_HasProto(stg_freezzeArrayzh) \ SymI_HasProto(stg_thawArrayzh) \ - SymI_HasProto(stg_newArrayArrayzh) \ SymI_HasProto(stg_casArrayzh) \ SymI_HasProto(stg_newSmallArrayzh) \ SymI_HasProto(stg_unsafeThawSmallArrayzh) \ |